Studies in Logic and the Foundations of Mathematics

310 pages hardcover

nonfiction computer science mathematics medium-paced