Truth, Syntax and Modality

SET THEORY

Generalized Recursion Theory II

Generalized Recursion Theory

Languages with Expressions of Infinite Length

Logic in Algebraic Form

Computer Programming and Formal Systems

Sets and Classes on The Work by Paul Bernays

Set Theory

The Metamathematics of Algebraic Systems

The Axiom of Choice

Algebra of Proofs

Large Infinitary Languages

Word Problems

Provability, Computability and Reflection

An Algebraic Approach to Non-Classical Logics

Proceedings of the Second Scandinavian Logic Symposium

Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress

Non-Classical Logics, Model Theory, And Computability