Introduction to mathematical logic / (Record no. 2317)

000 -LEADER
fixed length control field 01594cam a22003497a 4500
001 - CONTROL NUMBER
control field 17379343
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20160711093903.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 120709s2012 si a 001 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2012405527
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GBB1E0448
Source bnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 015987303
Source Uk
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9789814343862 (hbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9814343862 (hbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9789814343879 (pbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9814343870 (pbk.)
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)ocn768072910
040 ## - CATALOGING SOURCE
Original cataloging agency UKMGB
Transcribing agency UKMGB
Modifying agency YDXCP
-- CDX
-- BWX
-- OUP
-- DLC
042 ## - AUTHENTICATION CODE
Authentication code lccopycat
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA9.W334 2012
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Edition number 23
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Walicki, Michał.
245 10 - TITLE STATEMENT
Title Introduction to mathematical logic /
Statement of responsibility, etc Michal Walicki.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Singapore ;
-- Hackensack, NJ :
Name of publisher, distributor, etc World Scientific,
Date of publication, distribution, etc 2012.
300 ## - PHYSICAL DESCRIPTION
Extent xii, 268 p. :
Other physical details ill. ;
Dimensions 24 cm.
500 ## - GENERAL NOTE
General note Includes index.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note A history of logic -- Patterns of reasoning -- A language and its meaning -- A symbolic language -- 1850-1950 mathematical logic -- Modern symbolic logic -- Elements of set theory -- Sets, functions, relations -- Induction -- Turning machines -- Computability and decidability -- Propositional logic -- Syntax and proof systems -- Semantics of PL -- Soundness and completeness -- First order logic -- Syntax and proof systems of FOL -- Semantics of FOL -- More semantics -- Soundness and completeness -- Why is first order logic "First Order"?
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic, Symbolic and mathematical.
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c copycat
d 2
e ncip
f 20
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Book
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type Date checked out
          Riara University Library Riara University Library General stack 11/07/2016   QA9.W334 2012 7537/16 11/07/2016 C.1 11/07/2016 Book  
          Riara University Library Riara University Library General stack 11/07/2016 1 QA9.W334 2012 7538/16 21/02/2017 C.2 11/07/2016 Book 09/02/2017

Riara University Library,
P.O. Box 49940-00100,
Nairobi, Kenya.