語系:
繁體中文
English
說明(常見問題)
回圖書館
登入
跳至 :
概要
書目資訊
主題
Preuve, Théorie de la.
概要
作品:
1 作品在 1 項出版品 1 種語言
書目資訊
Reductive Logic and Proof-search = Proof Theory, Semantics, and Control
by:
(書目-電子資源)
主題
Proof theory.
Preuve, Théorie de la.
Logique symbolique et mathématique.
Reductie (filosofie)
Bewijstheorie.
Logica.
Logic, Symbolic and mathematical.
處理中
...
變更密碼
登入