語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

語系

英文 (2)

跳至 : 概要 | 書目資訊 | 主題

Schroeder-Heister, Peter.

概要

作品:	2 作品在 2 項出版品 1 種語言

書目資訊

Harmony and paradox = intensional aspects of proof-theoretic semantics / by: Tranchini, Luca.; Schroeder-Heister, Peter.; SpringerLink (Online service) (書目-電子資源)

Advances in proof-theoretic semantics by: Piecha, Thomas.; Schroeder-Heister, Peter.; SpringerLink (Online service) (書目-電子資源)

Proof theory in computer science = international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings / by: Kahle, Reinhard.; Schroeder-Heister, Peter.; Stark, Robert.; SpringerLink (Online service); PTCS 2001 ((2001 :) (書目-語言資料,印刷品)

主題

Philosophy. Logic. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. Logic, Symbolic and mathematical. Automatic theorem proving Proof theory. Formal Languages and Automata Theory.

變更密碼

登入