Kustantajan sarjaStudies in Logic and the Foundations of Mathematics
- Abstract set theory (tekijä: Abraham Adolf Fraenkel)
- Combinatory logic (tekijä: Haskell B. Curry)
- The problem of inductive logic (tekijä: Imre Lakatos)
- Problems in the Philosophy of Mathematics: Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Volume 1 (tekijä: Imre Lakatos)
- Recursive Number Theory: A Development of Recursive Arithmetic in a Logic-Free Equation Calculus (tekijä: R. L. Goodstein)
- Selected works (tekijä: Jan Lukasiewicz)
- Undecidable Theories (tekijä: Alfred Tarski)