UID:
almafu_9959327841702883
Format:
1 online resource (xvii, 293 pages) :
,
illustrations
Edition:
Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2010.
ISBN:
9781118032435
,
1118032438
,
9781118030691
,
1118030699
Content:
Mathematical logic is the art and science of mathematical reasoning. Written for the undergraduate logic user, this text presents mathematical or 'symbolic' logic as a reliable tool for deductive reasoning in computer science, mathematics, philosophy, and other related disciplines.
Note:
Front Matter -- Boolean Logic. The Beginning -- Theorems and Metatheorems -- The Interplay between Syntax and Semantics -- Predicate Logic. Extending Boolean Logic -- Two Equivalent Logics -- Generalization and Additional Leibniz Rules -- Properties of Equality -- First-Order Semantics--Very Na̐vely -- Appendix A: G̲del's Theorems and Computability -- References -- Index.
,
PART I: BOOLEAN LOGIC -- The beginning -- Theorems and metatheorems -- The interplay between syntax and semantics -- PART II: PREDICATE LOGIC -- Extending Boolean logic -- Generalization and additional Leibniz rules -- Properties of equality -- First order semantics -- very naïvely -- Appendix A: Gödel theorems and computability -- A.1 Revisiting Tarski Semantics -- A.2 Completeness -- A.3 A brief theory of computability -- A.4 Gödel's first incompleteness theorem.
,
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Additional Edition:
Print version: Tourlakis, George J. Mathematical logic. Hoboken, N.J. : Wiley, ©2008 ISBN 9780470280744
Language:
English
Subjects:
Mathematics
Keywords:
Electronic books.
;
Textbooks.
;
Einführung.
;
Electronic books.
;
Textbooks.
;
Einführung.
;
Electronic books.
;
Textbooks.
;
Einführung.
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118032435
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118032435
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118032435
Bookmarklink
