WORD PROBLEMS II

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

Elements of Mathematical Logic

Sets, Models and Recursion Theory

Logic Colloquium 76, Proceedings of a conference

Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic

Introduction to the Theory of Finite Automata

Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities

Constructible Sets with Applications

Studies in Logic and the Foundations of Mathematics: Volume 42

Provability, Computability and Reflection

An Algebraic Approach to Non-Classical Logics

A Transfinite Type Theory with Type Variables

Logic, Methodology and Philosophy of Science III

Contributions to Non-Standard Analysis

The Collected Papers of Gerhard Gentzen

Logic Colloquium '78, Proceedings of the colloquium held in Mons

Intuitionism An Introduction