|
|
|
|
LEADER |
00000cam a2200000Ii 4500 |
001 |
b3523452 |
003 |
MWH |
005 |
20210716103924.0 |
008 |
210330s2021 sz a b 001 0 eng d |
020 |
|
|
|a 9783030738389
|q (print)
|
020 |
|
|
|a 3030738388
|q (print)
|
020 |
|
|
|z 9783030738396
|q (electronic bk.)
|
035 |
|
|
|a (OCoLC)1243743218
|
035 |
|
|
|a (OCoLC)1243743218
|
040 |
|
|
|a YDX
|b eng
|e rda
|c YDX
|d INT
|d OCLCO
|d OCLCF
|
041 |
1 |
|
|a eng
|h ger
|
049 |
|
|
|a HCDD
|
050 |
|
4 |
|a QA9
|b .E2213 2021
|
100 |
1 |
|
|a Ebbinghaus, Heinz-Dieter,
|d 1939-
|e author.
|
240 |
1 |
0 |
|a Einführung in die mathematische Logik.
|l English
|
245 |
1 |
0 |
|a Mathematical logic /
|c Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas.
|
250 |
|
|
|a Third edition.
|
264 |
|
1 |
|a Cham, Switzerland :
|b Springer,
|c [2021]
|
300 |
|
|
|a ix, 304 pages :
|b illustrations ;
|c 25 cm.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a unmediated
|b n
|2 rdamedia
|
338 |
|
|
|a volume
|b nc
|2 rdacarrier
|
490 |
1 |
|
|a Graduate texts in mathematics ;
|v 291
|
504 |
|
|
|a Includes bibliographical references (pages 291-292) and index.
|
520 |
|
|
|a "This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In answering these questions, this textbook explores the capabilities and limitations of algorithms and proof methods in mathematics and computer science."--Publisher's description.
|
505 |
0 |
|
|a A -- I Introduction -- II Syntax of First-Order Languages -- III Semantics of First-Order Languages -- IV A Sequent Calculus -- V The Completeness Theorem -- VI The Löwenheim-Skolem and the Compactness Theorem -- VII The Scope of First-Order Logic -- VIII Syntactic Interpretations and Normal Forms -- B -- IX Extensions of First-Order Logic -- X Computability and Its Limitations -- XI Free Models and Logic Programming -- XII An Algebraic Characterization of Elementary Equivalence -- XIII Lindström's Theorems -- References -- List of Symbols -- Subject Index.
|
650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
700 |
1 |
|
|a Flum, Jörg,
|e author.
|
700 |
1 |
|
|a Thomas, Wolfgang,
|d 1947-
|e author.
|
830 |
|
0 |
|a Graduate texts in mathematics ;
|v 291.
|
907 |
|
|
|a .b35234520
|b 10-12-21
|c 07-16-21
|
998 |
|
|
|a hq
|b 07-20-21
|c m
|d a
|e -
|f eng
|g sz
|h 0
|i 0
|
994 |
|
|
|a C0
|b HCD
|
945 |
|
|
|f - -
|g 1
|h 0
|i 38400004299275
|j - -
|k - -
|l hqcol
|o
|p $0.00
|q -
|r
|s -
|t 0
|u 0
|v 0
|w 0
|x 0
|y .i22548750
|z 07-20-21
|
999 |
f |
f |
|i 444d5592-8265-5fee-bf0b-a09aac8831a2
|s a8c16108-21fe-5089-bc05-75b3d0ace723
|t 0
|
952 |
f |
f |
|p Can Circulate
|a College of the Holy Cross
|b Main Campus
|c Science
|d Science Library
|t 0
|e QA9 .E2213 2021
|h Library of Congress classification
|i Book
|m 38400004299275
|