Continuous Model Theory. (AM-58)

by Chang, Chen Chung
Published 2016

The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)

by Post, Emil L.
Published 2016

Simplified independence proofs : Boolean valued models of set theory

by Rosser, J. Barkley
Published 1969

A transfinite type theory with type variables

by Andrews, P. B.
Published 1965

The logical systems of Lesniewski

by Luschei, Eugene C.
Published 1962

Mathematical interpretation of formal systems

by Skolem, Th
Published 1955

Constructive order types

by Crossley, John N.
Published 1969

Solvable cases of the decision problem

by Ackermann, W.
Published 1954

Elements of mathematical logic : (Model theory)

by Kreisel, Georg, Krivine, J. L.
Published 1967