Realizability, Volume 152: An Introduction to its Categorical Side (Studies in Logic and the Foundations of Mathematics)

by Jaap van Oosten Hardcover details (United States). (see also: eBook (Kindle)) details (UK). (see also: eBook (Kindle)) details (Germany). (see also: Kindle Ausgabe) details (Canada). (see also: eBook (Kindle)) ISBN: 978-0-444-51584-1 ISBN-10: 0-444-51584-4 Elsevier Science · 2008