Kids Library Home

Welcome to the Kids' Library!

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

     
Available items only
E-Book/E-Doc

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