Vollständige Systeme modaler und intuitionistischer Logik.

Saved in:
書目詳細資料
主要作者: Schuette, Kurt
格式: 圖書
語言:德语
出版: Berlin, Heidelberg, New York Springer 1968
叢編:Ergebnisse der Mathematik und ihrer Grenzgebiete Bd 42
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
Order eBook:
Order Book: Login to order
Search Result 1

Proof Theory ("Beweistheorie"[Engl.]) 由 Schuette, Kurt

出版 1977
圖書
Search Result 2

Beweistheorie 由 Schuette, Kurt

出版 1960
圖書