
Tell your friends about this item:
Realizability: An Introduction to its Categorical Side - Studies in Logic and the Foundations of Mathematics 1st edition
Van Oosten, Jaap (Utrecht University, the Netherlands)
Realizability: An Introduction to its Categorical Side - Studies in Logic and the Foundations of Mathematics 1st edition
Van Oosten, Jaap (Utrecht University, the Netherlands)
Presents an introduction to the basic concepts of realizability, a field which has passed several successive phases of abstraction. This title includes a bibliography.
328 pages
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | April 1, 2008 |
ISBN13 | 9780444515841 |
Publishers | Elsevier Science & Technology |
Pages | 328 |
Dimensions | 152 × 229 × 20 mm · 680 g |
Language | English |