Logic Colloquium '88 (Studies in Logic and the Foundations of Mathematics)

Logic colloquium '88

Logic Colloquium '88: Proceedings

LOGIC COLLOQUIUM '88 STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 127 Editors: J. BARWISE, Stanford H...

The Foundations of Mathematics (Logic)

Classification Theory (Studies in Logic and the Foundations of Mathematics)

CLASSIFICATION THEORY AND THE NUMBER OF NON-ISOMORPHIC MODELS STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOL...

Model Theory (Studies in Logic and the Foundations of Mathematics)

Mathematical logic and the foundations of mathematics

Truth and Consequence in Mediaeval Logic (Studies in Logic and the Foundations of Mathematics, 11)

STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS L.E.J.BROUWER I E. W.BETH I A.HEYTING EDITORS Truth and Consequenc...

Logic Colloquium 2006 (Lecture Notes in Logic)

CUUS603-cooper July 11, 2009 8:55 978 0 521 11081 5 Logic Colloquium 2006 The Annual European Meeting of the Associ...

Proceedings of the Second Scandinavian Logic Symposium (Studies in Logic and the Foundations of Mathematics)

STUDIES I N LOGIC AND THE FOUNDATIONS O F MATHEMATICS VOLUME 63 Editors A. H E Y TI N G , Amsterdam H. J. K E I S L E ...

The Foundations of Intuitionistic Mathematics (Studies in Logic and the Foundations of Mathematics, 39)

THE FOUNDATIONS OF INTUITIONISTIC MATHEMATICS ESPECIALLY I N RELATION TO RECURSIVE FUNCTIONS STEPHEN COLE KLEENE Cyrus ...

Logic Colloquium '88 (Studies in Logic and the Foundations of Mathematics)

Logic colloquium '88

Logic Colloquium '88: Proceedings

The Foundations of Mathematics (Logic)

Classification Theory (Studies in Logic and the Foundations of Mathematics)

Model Theory (Studies in Logic and the Foundations of Mathematics)

Mathematical logic and the foundations of mathematics

Truth and Consequence in Mediaeval Logic (Studies in Logic and the Foundations of Mathematics, 11)

Logic Colloquium 2006 (Lecture Notes in Logic)

Proceedings of the Second Scandinavian Logic Symposium (Studies in Logic and the Foundations of Mathematics)

The Foundations of Intuitionistic Mathematics (Studies in Logic and the Foundations of Mathematics, 39)

Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics)

Intuitionistic Logic, Model Theory and Forcing (Studies in Logic and the Foundations of Mathematics)

Handbook of Mathematical Logic (Studies in Logic and the Foundations of Mathematics)

Handbook of Mathematical Logic (Studies in Logic and the Foundations of Mathematics)

Logic Colloquium '73

Model Theory for Infinitary Logic (Studies in Logic and the Foundations of Mathematics, Volume 62)

Combinatory Logic, Volume I (Studies in Logic and the Foundations of Mathematics, 22)

Ancient Formal Logic (Studies in Logic and the Foundations of Mathematics, 2)

Computability, Complexity, Logic, Volume 128 (Studies in Logic and the Foundations of Mathematics)

Logic Colloquium 1984: Proceedings

Logic Colloquium '69

Logic colloquium 2007

Logic Colloquium 1976: Proceedings

Logic Colloquium 2005

Logic: Colloquium Proceedings, 1977

Logic Colloquium 1982: Proceedings

Logic 1985: Colloquium Proceedings

Foundations of mathematical logic

Foundations of logic programming

Foundations of Illocutionary Logic

Logic Colloquium '88 (Studies in Logic and the Foundations of Mathematics)