UID:
almafu_9959326890802883
Format:
1 online resource (viii, 260 pages).
ISBN:
9781118032541
,
1118032543
,
9781118030790
,
1118030796
Series Statement:
Pure and applied mathematics
Note:
"A Wiley-Interscience publication."
,
Front Matter -- Introduction -- Mathematical Structures and Their Theories. Relational Systems -- Boolean Algebras -- Subsystems and Homomorphisms -- Operations on Relational Systems -- Terms and Formulas -- Theories and Models -- Substitution of Terms -- Theorems and Proofs -- Theorems of the Logical Calculus -- Generalization Rule and Elimination of Constants -- The Completeness of the Logical Calculus -- Definability -- Peano Arithmetic -- Skolem₆L̲wenheim Theorems -- Ultraproducts -- Types of Elements -- Supplementary Questions -- Selected Topics. Defining Functions in N -- Total Functions -- Incompleteness of Arithmetic -- Arithmetical Consistency -- Independence of Goodstein's Theorem -- Tarski's Theorem -- Matiyasevich's Theorem -- Guide to Further Reading -- References -- Index -- Pure and Applied Mathematics.
,
Relational systems -- Boolean algebras -- Subsystems and homomorphisms -- Operations on relational systems -- Terms and formulas -- Theories and models -- Substitution of terms -- Theorems and proofs -- Theorems of the logical calculus -- Generalization rule and elimination of constants -- The completeness of the logical calculus -- Definability -- Peano arthmetic -- Skolem-Löwenheim theorems -- Ultraproducts -- Types of elements -- Supplementary questions -- Defining functions in N -- Total functions -- Incompleteness of arithmetic -- Arthmetical consistency -- Independence of Goddstein's theorem -- Tarski'd theorem -- Matiyasevich's theorem.
Additional Edition:
Print version: Adamowicz, Zofia. Logic of mathematics. New York : Wiley, ©1997 ISBN 0471060267
Language:
English
Keywords:
Electronic books.
;
Electronic books.
;
Electronic books.
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118032541
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118032541
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118032541
Bookmarklink
