Skip to main content

Proofs and types

Bookreader Item Preview
texts

Proofs and types

by
Girard, Jean-Yves

Publication date
Topics
Logic, Symbolic and mathematical, Proof theory, Type theory
Publisher
Cambridge : Cambridge University Press
Collection
inlibrary; printdisabled; trent_university; internetarchivebooks
Contributor
Internet Archive
Language
English
xi, 176 p. ; 26 cm

Includes bibliographical references (p. 162-1650 and index
Access-restricted-item
true
Addeddate
2019-04-27 00:15:00
Associated-names
Lafont, Yves; Taylor, Paul
Bookplateleaf
0004
Boxid
IA1189014
Camera
Sony Alpha-A6300 (Control)
Collection_set
trent
External-identifier
urn:oclc:record:1151068777[WorldCat (this item)]
urn:lcp:proofstypes0000gira:lcpdf:096183e2-1b05-4f5f-bebd-bb17aac32a75
urn:lcp:proofstypes0000gira:epub:b7f8b027-e1bd-4445-97d8-b192477c945e
Foldoutcount
0
Grant_report
Arcadia
Identifier
proofstypes0000gira
Identifier-ark
ark:/13960/t8wb2s957
Full catalog record
MARCXML

plus-circle Add Review
comment
Reviews

There are no reviews yet. Be the first one to write a review.

295 Previews

9 Favorites

DOWNLOAD OPTIONS

No suitable files to display here.

EPUB and PDF access not available for this item.

IN COLLECTIONS

Texts to Borrow Books for People with Print Disabilities Trent University Library Donation Internet Archive Books

Uploaded by station09.cebu on

SIMILAR ITEMS (based on metadata)

Terms of Service (last updated 12/31/2014)