Mathematical logic : a course with exercises (Record no. 1175)

000 -LEADER
fixed length control field 00435nam a2200145Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 161214s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780198500483
Terms of availability (pbk)
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Item number COR
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Cori, Rene
245 #0 - TITLE STATEMENT
Title Mathematical logic : a course with exercises
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Oxford
Name of publisher, distributor, etc Oxford University Press
Date of publication, distribution, etc 2001
300 ## - PHYSICAL DESCRIPTION
Extent 331 p.
Other physical details index
Dimensions 23 cm.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic, Symbolic and mathematical
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Permanent location Current location Date acquired Source of acquisition Cost, normal purchase price Serial Enumeration / chronology Total Checkouts Total Renewals Full call number Barcode Date last seen Date last borrowed Koha item type
          DAIICT DAIICT 2003-07-18 Researchco Book Centre 0.00 Part 1. Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems 8 3 511.3 COR 006612 2022-12-30 2022-05-06 Books
          DAIICT DAIICT 2003-07-18 Researchco Book Centre 0.00 Part 2. Recursion Theory, Godel's Theorems, Set Theory, Model Theory 1   511.3 COR 006613 2017-05-11 2017-01-25 Books

Powered by Koha