A beginner's guide to mathematical logic (Record no. 31679)

MARC details
000 -LEADER
fixed length control field 01368 a2200217 4500
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2014395758
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 978-0-486-49237-7
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA9.A1
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
-- 32132
-- 32132
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Smullyan, Raymond M.
245 12 - TITLE STATEMENT
Title A beginner's guide to mathematical logic
Statement of responsibility, etc. Raymond M. Smullyan
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Mineola, N. Y.:
Name of publisher, distributor, etc. Dover Publications,
Date of publication, distribution, etc. 2014
300 ## - PHYSICAL DESCRIPTION
Extent iii, 284 p. ;
Dimensions 24 cm.
490 0# - SERIES STATEMENT
Series statement Dover books on mathematics
546 ## - LANGUAGE NOTE
Language note eng
500 ## - GENERAL NOTE
General note Bibliografie p. 263<br/>Index p. 265
520 ## - SUMMARY, ETC.
Summary, etc. Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive explanations and unique problems. Smullyan's accessible narrative provides memorable examples of concepts related to proofs, propositional logic and first-order logic, incompleteness theorems, and incompleteness proofs. Additional topics include undecidability, combinatoric logic, and recursion theory. Suitable for undergraduate and graduate courses, this book will also amuse and enlighten mathematically minded readers--
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic, Symbolic and mathematical.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Institution code [OBSOLETE] IMAR
Koha item type Carti
Call number prefix 511.3
Serial record flag EP
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Source of acquisition Cost, normal purchase price Inventory number Total checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
        IMAR IMAR 03/21/2024 Black Cat Books 60.88 Mcc 9944   511.3-SMU 0036545   1 03/21/2024 Carti

Powered by Koha