このページのリンク

Logic of mathematics : a modern course of classical logic / Zofia Adamowicz, Pawe� Zbierski
(Pure and applied mathematics)

データ種別 電子ブック
出版者 New York : Wiley
出版年 �1997
大きさ 1 online resource (viii, 260 pages)
目次/あらすじ

所蔵情報を非表示

Click to Access
E-Book
08703144 同時アクセス:無制限 9781118032541

書誌詳細を非表示

一般注記 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 -- Skolemb6s�Lwenheim 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
"A Wiley-Interscience publication."
Includes bibliographical references (pages 252-256) and index
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�owenheim 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
Print version record
John Wiley and Sons Cataloging Partner Collection
著者標目 *Adamowicz, Zofia
Zbierski, Pawe�
Wiley InterScience (Online service)
件 名 LCSH:Logic, Symbolic and mathematical
分 類 LCC:QA9
DC22:511.3
書誌ID 8000278655
ISBN 9781118032541
URL

 類似資料