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

A transfinite type theory with type variables

by Andrews, P. B.
Published 1965

The logical systems of Lesniewski

by Luschei, Eugene C.
Published 1962

Simplified independence proofs : Boolean valued models of set theory

by Rosser, J. Barkley
Published 1969