Studies in logic and the foundations of mathematics ;

書目資訊

[1 - 20] 起自 15 查到結果 (0.57 sec)

頁數: [ 1 ]

quantification in nonclassical logic /

abstract set theory

logic, methodology, and philosophy o...

logic, methodology, and philosophy of science, vii :

categorical logic and type theory

handbook of recursive mathematics

tools and techniques in modal logic /

harvey friedman's research on the fo...

harvey friedman's research on the foundations of mathematics /

selected papers on automath /

handbook of proof theory

logic colloquium '88 :

handbook of recursive mathematics /

logic colloquium '87 :

logic colloquium '86 :

constructivism in mathematics :

realizability