It takes a few seconds to contribute a new entry! ;-)

Logic

A course in universal algebra

H. P. Sankappanavar, Stanley N. Burris

Logic
Algebra
Universal algebra
ViewMore details Home pageGo to the book home page Favorites Review Tags

Notes on complexity

Peter J. Cameron

Logic
Complexity theory
ViewMore details Home pageGo to the book home page Favorites Review Tags

Model theory

Anand Pillay

Logic
Model theory
ViewMore details Home pageGo to the book home page Favorites Review Tags

Model-Theoretic Logics

J. Barwise and S. Feferman

Model theory
Logic
ViewMore details Home pageGo to the book home page Favorites Review Tags

Proofs and types

Jean-Yves Girard

Logic
ViewMore details Home pageGo to the book home page Favorites Review Tags

<< prev
1 | 2 next >>