Symbolic Logic. An Introduction (1952)

by Frederic Fitch