Beweistheorie
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Llibre |
| Idioma: | alemany |
| Publicat: |
Berlin, Göttingen, Heidelberg
Springer
1960
|
| Col·lecció: | Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen
103 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
| Order eBook: |
|
| Order Book: | Login to order |
Ítems similars: Beweistheorie
- Die Beweistheorie im canonischen Proceß.
- Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie Repr. (d. Ausg. Berlin 1934)
- Proof Theory ("Beweistheorie"[Engl.])
- Philosophische und einzelwissenschaftliche Aspekte der Beweistheorie Beitr. v. Kolloquien d. Arb. Kreises "Philosophie - Naturwissenschaften" <insbes. v. 31.5. u. 7.6.1972>
- Vollständige Systeme modaler und intuitionistischer Logik.
- Untersuchungen zum Entscheidungsproblem der mathematischen Logik.