Skip to main content

Proofs and types

by: Girard, Jean-Yves

Publication date: 1989
Topics: Logic, Symbolic and mathematical, Proof theory, Type theory
Publisher: Cambridge : Cambridge University Press
Collection: trent_university; internetarchivebooks; inlibrary; printdisabled
Contributor: Internet Archive
Language: English
Item Size: 440.2M

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
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
Invoice: 1853
Isbn: 0521371813
Ocr_converted: abbyy-to-hocr 1.1.20
Ocr_module_version: 0.0.17
Old_pallet: IA13901
Openlibrary_edition: OL7738480M
Openlibrary_work: OL16965641W
Page_number_confidence: 98
Page_number_module_version: 1.0.5
Pages: 202
Ppi: 300
Republisher_date: 20190429172423
Republisher_operator: associate-lavina-gumandoy@archive.org
Republisher_time: 399
Scandate: 20190427004636
Scanner: station09.cebu.archive.org
Scanningcenter: cebu
Scribe3_search_catalog: trent
Scribe3_search_id: 0116402984342
Source: removedNEL
Tts_version: 2.1-final-2-gcbbe5f4

Full catalog record: MARCXML

comment
Reviews

524 Previews

13 Favorites

DOWNLOAD OPTIONS

No suitable files to display here.

IN COLLECTIONS

Trent University Library Donation

Internet Archive Books

Uploaded by station09.cebu on April 27, 2019

SIMILAR ITEMS (based on metadata)

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