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

000 -LEADER
fixed length control field 00819pam a2200229 a 4500
020 1# - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0198500483
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 110714s||||||||xx||||||||||||||||||fre|d
020 1# - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0198500491 (pt. 1, Hbk) :
020 1# - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0198500483 (pt. 1, Pbk)
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Cori, René
245 1# - TITLE STATEMENT
Title Mathematical logic : a course with exercises
260 1# - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Oxford
Name of publisher, distributor, etc Oxford University Press
Date of publication, distribution, etc 2000-
300 1# - PHYSICAL DESCRIPTION
Extent v ; 24 cm.
500 1# - GENERAL NOTE
General note (TIT) Logique mathématique. English
504 1# - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
500 1# - GENERAL NOTE
General note (CON) Contents: pt. 1. Propositional calculus, Boolean algebras, predicate calculus.
650 1# - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Systems and Structures of Mathematics. Axiomatics
650 1# - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematical Logic
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Lascar, D. (Daniel) [1942-]
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Pelletier, Donald H. [1941-] (tr)
830 1# - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title
Volume number/sequential designation
Holdings
Withdrawn status Lost status Damaged status Not for loan Permanent location Current location Shelving location Date acquired Full call number Barcode Date last seen Price effective from
        School of Theoretical Physics School of Theoretical Physics John T. Lewis Special Collection 2011-07-19 511.2 COR 10523 2011-07-19 2011-07-19