Mathematical logic as based on the theory of types. A reprint of the first five sections of 11116

by Bertrand Russell · 1 review · 1974

Reviewed by Journal Date Access
Alonzo Church The Journal of Symbolic Logic 1974 Restricted

Metaphysics & Logic

Also by Russell

Search PhilReviews for this title