Mathematical logic books

Complexity in Economics: Cutting Edge Research  Read More >>

This Is A New Release Of The Original 1847 Edition.  Read More >>

George Boole, the father of Boolean algebra, published An Investigation of the Laws of Thought, a seminal work on...  Read More >>

This Is A New Release Of The Original 1912 Edition.  Read More >>

The Mathematical Analysis of Logic: Being an Essay towards a Calculus of Deductive Reasoning is a book written by...  Read More >>

George Boole, the father of Boolean algebra, published An Investigation of the Laws of Thought, a seminal work on...  Read More >>

 Read More >>

 Read More >>

The IfColog Journal of Logics and their Applications covers all areas of pure and applied logic, broadly construed....  Read More >>

Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences....  Read More >>

This collection of essays deals with issues connected with the mathematical hypothesis, Church's Thesis, from both...  Read More >>

This Is A New Release Of The Original 1912 Edition.  Read More >>

What do Abacus, Magic Square, Mathematics, Taichi symbol, Go game, Tangram puzzle and Taichi Cube have in common?...  Read More >>

What do Abacus, Magic Square, Mathematics, Taichi symbol, Go game, Tangram puzzle and Taichi Cube have in common?...  Read More >>

Published in honor of Victor L Selivanov, this book collects 17 articles that inform on the developments in computability...  Read More >>

Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations,...  Read More >>

 Read More >>

 Read More >>

Distinguished contributors tackle the main problem that arizes when considering an epistemology for mathematics,...  Read More >>

Commenting on scientific and cultural developments through various media in his native region Flanders, Jean Paul...  Read More >>

 Read More >>

2014 Reprint of 1962 Edition. Full facsimile of the original edition, not reproduced with Optical Recognition Software....  Read More >>

This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden,...  Read More >>

Highlights of this volume from the 2004 meeting include a tutorial survey of the recent highpoints of universal...  Read More >>

This volume of the Logica Yearbook series brings together articles presented at the annual international symposium...  Read More >>