Beweistheorie
Saved in:
| 主要作者: | |
|---|---|
| 格式: | 圖書 |
| 語言: | 德语 |
| 出版: |
Berlin, Göttingen, Heidelberg
Springer
1960
|
| 叢編: | Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen
103 |
| 標簽: |
沒有標簽, 成為第一個標記此記錄!
|
| Order eBook: |
|
| Order Book: | Login to order |
相似書籍: 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.
- Programmieren in Occam. Eine anwendungsorientierte Einf. in Occam 1 u. Occam 2.