Twenty-five years of constructive type theory  proceedings of a congress held in Venice, October 1995 /  [electronic resource] : 
 25 years of constructive type theory 
edited by Giovanni Sambin and Jan M. Smith. 
 - Oxford :  New York :  Clarendon Press ;  Oxford University Press,  1998. 
 - vii, 283 p. 
 - Oxford logic guides ;  36 Oxford science publications .
 - Oxford logic guides ;  36. Oxford science publications. .
<br/><br/>Includes bibliographical references. 
<br/><br/><br/>Electronic reproduction. <br/>Palo Alto, Calif. : <br/>ebrary, <br/>2011. <br/>Available via World Wide Web. <br/>Access may be limited to ebrary affiliated libraries. 
<br/><br/><label>ISBN: </label>
<br/><br/><label>LCCN: </label>
<br/><br/><label>Subjects--Topical Terms: </label><br/>Type theory--Congresses.<br/>Logic, Symbolic and mathematical--Congresses.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA9.A1  / T94 1998eb 
<br/><br/><label>Dewey Class. No.: </label>511.3