語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

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

Pym, David J.

概要

作品:	0 作品在 0 項出版品 0 種語言

書目資訊

Reductive Logic and Proof-search :Proof Theory, Semantics, and Control by: Oxford University Press.; Pym, David J.; Ritter, Eike (書目-電子資源)

主題

Logic, Symbolic and mathematical. Logica. Bewijstheorie. Proof theory. Reductie (filosofie) Logique symbolique et mathématique. Preuve, Théorie de la.

變更密碼

登入