Kids Library Home

Welcome to the Kids' Library!

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

     
Available items only
Record 23 of 23
Previous Record Next Record
Electronic Book

Title Twenty-five years of constructive type theory [electronic resource] : proceedings of a congress held in Venice, October 1995 / edited by Giovanni Sambin and Jan M. Smith.

Imprint Oxford : Clarendon Press ; New York : Oxford University Press, 1998.

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Description vii, 283 p.
Series Oxford logic guides ; 36
Oxford science publications
Oxford logic guides ; 36.
Oxford science publications.
Bibliography Includes bibliographical references.
Reproduction Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject Type theory -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
Genre/Form Electronic books.
Added Author Sambin, Giovanni.
Smith, Jan M.
ProQuest (Firm)
Added Title 25 years of constructive type theory
ISBN 9780198501275
0198501277

 
    
Available items only