Realizability, Volume 152
Subtitle: An Introduction to its Categorical Side (Studies in Logic and the Foundations of Mathematics)
Publisher: Elsevier Science; Elsevier
Published: April 16, 2008
Language: eng
Format: Hardcover
Number of pages: 328
ISBN-13: 9780444515841
Subjects: Neurology & clinical neurophysiology; Mathematics; Science/Mathematics; Algebra - General; Information Theory; Mathematics / General; Logic