Mathematical Logic Books - Free eBooks Directory
Free Mathematical Logic ebooks. Categorized directory of free Mathematical Logic books. Read online or download free eBooks in different formats.
Free eBooks
77
Ebook Details
Author
Alexander Kurz
Publisher
ESSLLI 2002
Whereas algebras are used to model abstract data types, coalgebras are used to model dynamic, state based systems.
Free eBooks
80
Ebook Details
Author
Edward N. Zalta
Publisher
Stanford University 2011
Free eBooks
63
Ebook Details
Author
Gilles Dowek
Publisher
ESSLLI 2001
Free eBooks
56
Ebook Details
Author
Robert Goldblatt
Free eBooks
55
Ebook Details
Author
Wolfgang Rautenberg
Publisher
Springer 2009
The textbook by Professor Wolfgang Rautenberg is a well-written introduction to the beautiful and coherent subject of mathematical logic. It contains classical material such as logical calculi,
Free eBooks
55
Ebook Details
Author
T. Nipkow, L.C. Paulson, M. Wenzel
Publisher
Springer 2010
This book is a self-contained introduction to interactive proof in higher-order logic (HOL), using the proof assistant Isabelle. It is a tutorial for potential users rather than a monograph for researchers. The book has three parts: Elementary Techniques; Logic and Sets; Advanced Material. ...
Free eBooks
68
Ebook Details
Author
J. Barwise, S. Feferman
Publisher
Springer 1985
The subject matter of this book constitutes a merging of several directions of work in general model theory over the last 25 years. Three main lines can be distinguished: first,
Free eBooks
44
Ebook Details
Author
Nick Bezhanishvili, Dick de Jongh
Publisher
Universiteit van Amsterdam 2010
In this course we give an introduction to intuitionistic logic. We concentrate on the propositional calculus mostly, make some minor excursions to the predicate calculus and to the use of intuitionistic logic in intuitionistic formal systems.
Free eBooks
52
Ebook Details
Author
Michael Makkai
Publisher
McGill University 2000
Contents: Sets and classes; The universe of pure sets; Further principles of set-construction; Natural numbers and ordinals; Well-founded Relations and recursion; Indexing by ordinals and the axiom of choice.