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
E-Books/E-Docs
Author Oosten, Jaap van.

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

Imprint Oxford : Elsevier, 2008.

Copies

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
9780444515841

 
    
Available items only