Adapting proofs-as-program (Record no. 9712)

MARC details
000 -LEADER
fixed length control field 00692nam a22001937a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20131008102417.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 091029t xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0-387-23759-3
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 004.422
Item number POE
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Poernomo, Iman Hafiz
245 ## - TITLE STATEMENT
Title Adapting proofs-as-program:
Remainder of title the curry-howard protocol
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc USA
Name of publisher, distributor, etc Springer
Date of publication, distribution, etc 2005
300 ## - PHYSICAL DESCRIPTION
Extent xii, 420p.
490 ## - SERIES STATEMENT
Series statement (Monographs in computer science)
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Curry-howard isomophism
-- Proof theory
-- Logic symbolic and mathematical
-- Functional programming
-- Lambde calculus
-- Abstract data
-- Programming-synthesis
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Martin, Wirsing
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name John, Newsome Crossley
942 ## - ADDED ENTRY ELEMENTS (KOHA)
item type Books
Holdings
Lost status Source of classification or shelving scheme Not for loan Home library Current library Date acquired Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
  Universal Decimal Classification   University Library University Library 29/10/2009   004.422 POE 00054924 29/10/2009 29/10/2009 Books
University Library, CUSAT