WORD PROBLEMS II

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

Provability, Computability and Reflection

Elements of Mathematical Logic

Sets, Models and Recursion Theory

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

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

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

Formal Systems and Recursive Functions

Provability, Computability and Reflection

SET THEORY