書名 | 作者 | 出版年 | 查看 | 回報錯誤連結 |
Mathematical logic :exercises and solutions / |
Laszlo Csirmaz, Zalan Gyenis. |
|
查看
|
回報問題連結 |
A Course on Mathematical Logic |
S. M. Srivastava. |
2008 |
查看
|
回報問題連結 |
A concise introduction to mathematical logic |
Wolfgang Rautenberg. |
2010 |
查看
|
回報問題連結 |
Mathematical logic ::foundations for information science / |
Wei Li. |
|
查看
|
回報問題連結 |
Petr Hajek on mathematical fuzzy logic / |
Franco Montagna. |
|
查看
|
回報問題連結 |
Mathematical logic for computer science |
Mordechai Ben-Ari. |
2012 |
查看
|
回報問題連結 |
Strict finitism and the logic of mathematical applications |
Feng Ye. |
2011 |
查看
|
回報問題連結 |
Mathematical logic / |
Heinz-Dieter Ebbinghaus, Jorg Flum, Wolfgang Thomas. |
|
查看
|
回報問題連結 |
A course in mathematical logic for mathematicians |
Yu. I. Manin. |
2010 |
查看
|
回報問題連結 |
Mathematical logic and model theory:a brief introduction / |
Alexander Prestel, Charles N. Delzell. |
2011 |
查看
|
回報問題連結 |
Martin Davis on computability, computational logic, and mathematical foundations / |
Eugenio G. Omodeo, Alberto Policriti. |
|
查看
|
回報問題連結 |
The adventure of reason:interplay between philosophy of mathematics and mathematical logic, 1900-1940 / |
Paolo Mancosu. |
2010 |
查看
|
回報問題連結 |
Towards mathematical philosophy:papers from the Studia Logica Conference Trends in Logic IV / |
David Makinson, Jacek Malinowski, Heinrich Wansing. |
2009 |
查看
|
回報問題連結 |
Interfaces between mathematical practices and mathematical education / |
Gert Schubring. |
|
查看
|
回報問題連結 |
Logic and structure |
Dirk van Dalen. |
2004 |
查看
|
回報問題連結 |
Categorical logic and type theory |
Bart Jacobs. |
1999 |
查看
|
回報問題連結 |
|