 About 387,000 results  books.google.com The book starts with a thorough treatment of firstorder logic and its role in the foundations of mathematics. 

 books.google.com The Fourth Edition of this longestablished text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. 

 books.google.com Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. 

 books.google.com 
 books.google.com Undergraduate students with no prior instruction in mathematical logic will benefit from this multipart text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. 

 books.google.com With its userfriendly approach, this book successfully equips readers with the key concepts and methods for formulating valid mathematical arguments that can be used to uncover truths across diverse areas of study such as mathematics, ... 

 books.google.com Written by a pioneer of mathematical logic, this comprehensive graduatelevel text explores the constructive theory of firstorder predicate calculus. 

 books.google.com Including extensive exercises and selected solutions, this text is ideal for students in Logic, Mathematics, Philosophy, and Computer Science. 

 books.google.com Offers a text of mathematical logic on a sophisticated level, presenting the reader with several of the most significant discoveries, including the independence of the continuum hypothesis, the Diophantine nature of enumerable sets and the ... 

 books.google.com In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssen@springer.com for more information. 

 