Language: English
Help
回圖書館首頁
手機版館藏查詢
Login

Studies in logic and the foundations of mathematics ;

書目資訊
[1 - 20] from 15 results found (0.10 sec)
Pages: [ 1 ]
abstract set theory
 abstract set theory
quantification in nonclassical logic /
 quantification in nonclassical logic /
handbook of recursive mathematics
 handbook of recursive mathematics
categorical logic and type theory
 categorical logic and type theory
logic, methodology, and philosophy o...
 logic, methodology, and philosophy of science, vii :
tools and techniques in modal logic /
 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 /
 selected papers on automath /
logic colloquium '88 :
 logic colloquium '88 :
handbook of proof theory
 handbook of proof theory
handbook of recursive mathematics /
 handbook of recursive mathematics /
logic colloquium '87 :
 logic colloquium '87 :
logic colloquium '86 :
 logic colloquium '86 :
constructivism in mathematics :
 constructivism in mathematics :
realizability
 realizability
 
 
Change password
Login