Realizability : an introduction to its categorical side
Author(s)
Bibliographic Information
Realizability : an introduction to its categorical side
(Studies in logic and the foundations of mathematics, v. 152)
Elsevier, 2008
Available at / 27 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
OOS||2||1200005161334
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index