INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9780387302942 (acid-free paper)
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
EN-53147
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
A concise introduction to mathematical logic
General Material Designation
[Book]
First Statement of Responsibility
/ Wolfgang Rautenberg
EDITION STATEMENT
Edition Statement
2nd ed.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York, NY
Name of Publisher, Distributor, etc.
: Springer,
Date of Publication, Distribution, etc.
, 2006.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xvii, 256 p. , ill. , 24 cm.
SERIES
Series Title
(Universitext)
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Electronic
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (p. 241-246) and indexes.
CONTENTS NOTE
Text of Note
1. Propositional logic -- 2. Predicate logic -- 3. Godel's completeness theorem -- 4. foundations of logic programming -- 5. Elements of model theory -- 6. Incompleteness and undecidability -- 7. On the theory of self-reference.
UNIFORM TITLE
[EinfouAسuhrung in die mathematische Logik. English]
TOPICAL NAME USED AS SUBJECT
Logic, Symbolic and mathematical
Electronic books. , local
LIBRARY OF CONGRESS CLASSIFICATION
Class number
E-BOOK
PERSONAL NAME - PRIMARY RESPONSIBILITY
Rautenberg, Wolfgang.
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Host name
9780387302942.pdf
Access number
عادی
Compression information
عادی
Date and Hour of Consultation and Access
9780387302942.pdf
Electronic Format Type
متن
old catalog
e
BL
1
a
Y
