Le&#347;niewski's Systems of Logic and Foundations of Mathematics
Publisher: Springer London, Limited
Published: 2013
Language: eng
ISBN-13: 9783319004822
Subjects: Computational complexity; Computer science, mathematics; Proof theory