Vista normal Vista MARC Vista ISBD

Oosten, Jaap van,

Realizability : an introduction to its categorical side / Jaap van Oosten - xvi, 310 páginas - Studies in logic and the foundations of mathematics ; 152 .

ISBN: 9780444515841 (encuadernado) 0444515844 (encuadernado)

Subjects--Topical Terms:
Lógica simbólica y matemática

LC Class. No.: QA9.25 / O67