Introduction to mathematical logic and type theory: to truth through proof (Record no. 9334)

MARC details
000 -LEADER
fixed length control field 00000nam a2200000 a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20251203090503.0
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3,
Item number D, and
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Andrews, Peter, B.
245 ## - TITLE STATEMENT
Title Introduction to mathematical logic and type theory: to truth through proof
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York
Name of publisher, distributor, etc. Academic Press
Date of publication, distribution, etc. 1986
300 ## - PHYSICAL DESCRIPTION
Extent xv, 304p, 22 cm.
490 ## - SERIES STATEMENT
Series statement Computer science and applied mathematics
690 ## - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN)
Topical term or geographic name as entry element Logic, Symbolic and mathematical
690 ## - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN)
Topical term or geographic name as entry element Type theory
964 ## -
-- Eng
-- 100
--
-- 010
--
-- _
997 ## -
-- 19543 LIBSC C
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Total checkouts Full call number Barcode Koha item type
        Central Library Central Library 08/04/1998   511.3, D, and 19543 Books