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

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

STUDIES I N LOGIC AND THE FOUNDATIONS O F MATHEMATICS Editors A. HEYTING, Amsterdam A.MOSTOWSK1, Warszawa A. ROBINSON,...

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

MODEL THEORY FOR INFINITARY LOGIC LOGIC WITH C O U N T A B L E C O N J U N C T I O N S A N D FINITE QUANTIFIERS H. JERO...

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...

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

FOUNDATIONS OF SET THEORY STUDIES I N LOGIC AND THE FOUNDATIONS O F MATHEMATICS VOLUME 67 Editors A. H E Y T I N G ,...

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 ...

The Foundations of Mathematics (Logic)

Handbook of Recursive Mathematics : Volume 1: Recursive Model Theory (Studies in Logic and the Foundations of Mathematics)

Introduction to Model Theory and to the Metamathematics of Algebra (Studies in Logic and the Foundations of Mathematics, 32)

Introduction to Model Theory and to the Metamathematics of Algebra (Studies in Logic and the Foundations of Mathematics, 32)

I N T R O D U C T I O N TO M O D E L THEORY A N D TO T H E METAMATHEMATICS O F ALGEBRA ABRAHAM ROBINSON University of ...

Mathematical logic and the foundations of mathematics

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

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

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

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

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

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

The Foundations of Mathematics (Logic)

Handbook of Recursive Mathematics : Volume 1: Recursive Model Theory (Studies in Logic and the Foundations of Mathematics)

Introduction to Model Theory and to the Metamathematics of Algebra (Studies in Logic and the Foundations of Mathematics, 32)

Introduction to Model Theory and to the Metamathematics of Algebra (Studies in Logic and the Foundations of Mathematics, 32)

Mathematical logic and the foundations of mathematics

The Theory of Semisets (Studies in Logic and the Foundations of Mathematics)

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

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

Many-Dimensional Modal Logics: Theory and Applications (Studies in Logic and the Foundations of Mathematics)

Fundamentals of Generalized Recursion Theory (Studies in Logic and the Foundations of Mathematics, Volume 105)

Handbook of Proof Theory (Studies in Logic and the Foundations of Mathematics)

Quantification in Nonclassical Logic (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)

Axiomatic Set Theory (Studies in Logic and the Foundations of Mathematics, 21)

A Transfinite Type Theory with Type Variables (Studies in Logic and the Foundations of Mathematics, 37)

Axiomatic Set Theory (Studies in Logic and the Foundations of Mathematics, 21)

Descriptive Set Theory (Studies in Logic and the Foundations of Mathematics)

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)

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

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

Equivalents of the Axiom of Choice II (Studies in Logic and the Foundations of Mathematics)

The Axiom of Choice (Studies in Logic and the Foundations of Mathematics)

Solvable Cases of the Decision Problem (Studies in Logic and the Foundations of Mathematics, 15)

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

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

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

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

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

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

The Foundations of Mathematics (Logic)

Handbook of Recursive Mathematics : Volume 1: Recursive Model Theory (Studies in Logic and the Foundations of Mathematics)

Introduction to Model Theory and to the Metamathematics of Algebra (Studies in Logic and the Foundations of Mathematics, 32)

Introduction to Model Theory and to the Metamathematics of Algebra (Studies in Logic and the Foundations of Mathematics, 32)

Mathematical logic and the foundations of mathematics

The Theory of Semisets (Studies in Logic and the Foundations of Mathematics)

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

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

Many-Dimensional Modal Logics: Theory and Applications (Studies in Logic and the Foundations of Mathematics)

Fundamentals of Generalized Recursion Theory (Studies in Logic and the Foundations of Mathematics, Volume 105)

Handbook of Proof Theory (Studies in Logic and the Foundations of Mathematics)

Quantification in Nonclassical Logic (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)

Axiomatic Set Theory (Studies in Logic and the Foundations of Mathematics, 21)

A Transfinite Type Theory with Type Variables (Studies in Logic and the Foundations of Mathematics, 37)

Axiomatic Set Theory (Studies in Logic and the Foundations of Mathematics, 21)

Descriptive Set Theory (Studies in Logic and the Foundations of Mathematics)

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)

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

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

Equivalents of the Axiom of Choice II (Studies in Logic and the Foundations of Mathematics)

The Axiom of Choice (Studies in Logic and the Foundations of Mathematics)

Solvable Cases of the Decision Problem (Studies in Logic and the Foundations of Mathematics, 15)

Recommend Documents