Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Available items only
Record 15 of 20
Previous Record Next Record
Author Oosten, Jaap van.

Title Realizability [electronic resource] : an introduction to its categorical side / Jaap van Oosten.

Imprint Oxford : Elsevier, 2008.


Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Edition 1st ed.
Description xvi, 310 p.
Series Studies in logic and the foundations of mathematics ; 152
Studies in logic and the foundations of mathematics ; 152.
Bibliography Includes bibliographical references and index.
Reproduction Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject Logic, Symbolic and mathematical.
Model theory.
Genre/Form Electronic books.
Added Author ProQuest (Firm)
ISBN 0444515844

Available items only