Introduction to mathematical logic

Hans Hermes ; translated from German by Diana Schmidt

[目次]

  • I. Introduction.- II. The Language of Predicate Logic.- III. The Semantics of Predicate Logic.- IV. A Predicate Calculus.- V. Godel's Completeness Theorem.- VI. Peano's Axiom System.- VII. Extensions of the Language, Normal Forms.- VIII. The Theorems of A. Robinson, Craig and Beth.- IX. Miscellaneous.- Further Reading.- Index of Abbreviations for Defining and Derived Rules.- Notation.- Name and Subject Index.

「Nielsen BookData」より

この本の情報

書名 Introduction to mathematical logic
著作者等 Hermes, Hans
Schmidt Diana
書名別名 Einführung in die mathematische Logik
シリーズ名 Universitext
出版元 Springer-Verlag
刊行年月 1973
ページ数 xi, 242 p.
大きさ 26 cm
ISBN 3540058192
0387058192
NCID BA00655466
※クリックでCiNii Booksを表示
言語 英語
原文言語 ドイツ語
出版国 ドイツ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想