 About 370,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 INTRODUCTION MATHEMATICAL logic differs from the traditional formal logic so
markedly in method, and so far surpasses it in power and subtlety, as to be
generally and not unjustifiably regarded as a new science. Its crude beginnings
are ... 

 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 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 Each chapter is written for nonspecialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own. 

 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 Written by a pioneer of mathematical logic, this comprehensive graduatelevel text explores the constructive theory of firstorder predicate calculus. 

 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. 

 books.google.com " There are 31 chapters in 5 parts and approximately 320 exercises marked by difficulty and whether or not they are necessary for further work in the book. 

Adwww.doverpublications.com/mathematics Classic math publications: algebra, calculus, theory, stats and more.
 