Handbook of Philosophical Logic, vol. 1
Dov M. Gabbay, Franz Guenthner
Elementary Predicate Logic
Wilfrid Hodges
Pages 1-129
Systems between First-Order and Second-Order Logics
Stewart Shapiro
Pages 131-187
Higher-Order Logic
Johan Van Benthem, Kees Doets
Pages 189-243
Algorithms and Decision Problems: A Crash Course in Recursion Theory
Dirk Van Dalen
Pages 245-311
Mathematics of Logic Programming
H.-D. Ebbinghaus, J. Flum
Pages 313-370
Wilfrid Hodges
Pages 1-129
Systems between First-Order and Second-Order Logics
Stewart Shapiro
Pages 131-187
Higher-Order Logic
Johan Van Benthem, Kees Doets
Pages 189-243
Algorithms and Decision Problems: A Crash Course in Recursion Theory
Dirk Van Dalen
Pages 245-311
Mathematics of Logic Programming
H.-D. Ebbinghaus, J. Flum
Pages 313-370
體積:
1
年:
2011
版本:
2
出版商:
Springer
語言:
english
頁數:
385
ISBN 10:
9401598339
ISBN 13:
9789401598330
系列:
Handbook of Philosophical Logic
文件:
PDF, 8.88 MB
IPFS:
,
english, 2011
Amazon 
Barnes & Noble 
Bookshop.org 
轉換文件
更多的搜索結果
其他特權 
![Wolfgang Rautenberg [Rautenberg, Wolfgang] — A Concise Introduction to Mathematical Logic](https://s3proxy.cdn-zlib.se/covers200/collections/userbooks/4b0fdc7ae2861f89e9daa1d15c201c95bf5cec886a81d0797779ff500258b800.jpg)
