Book 1995

Selected logic papers

4.01 2 readers shelved it

Publisher: Harvard University Press
Language: English
Published: 1995

Logic, Symbolic and mathematical
Symbolic and mathematical Logic
Logica
Logic

A collection of 23 papers on mathematical logic covering such subjects as set theory, proof theory, truth functions, techniques of deduction, and other topics, written between 1934 and 1960.