Mathematical Logic and Formalized Theories. A Survey of Basic Concepts and Results

✍ Scribed by Robert L. Rogers (Auth.)

Publisher: Elsevier B.V
Year: 1971
Tongue: English
Leaves: 240
Category: Library

No coin nor oath required. For personal study only.

✦ Table of Contents

Content:
Front Matter, Page iii
Copyright, Page iv
Dedication, Page v
PREFACE, Pages vii-viii
CHAPTER I - THE SENTENTIAL LOGIC, Pages 1-27
CHAPTER II - THE FIRST-ORDER PREDICATE LOGIC: I, Pages 28-51
CHAPTER III - THE FIRST-ORDER PREDICATE LOGIC: II, Pages 52-82
CHAPTER IV - THE SECOND-ORDER PREDICATE LOGIC. THEORY OF DEFINITION, Pages 83-106
CHAPTER V - THE NATURAL NUMBERS, Pages 107-126
CHAPTER VI - THE REAL NUMBERS, Pages 127-141
CHAPTER VII - AXIOMATIC SET THEORY, Pages 142-185
CHAPTER VIII - INCOMPLETENESS. UNDECIDABILITY, Pages 186-226
BIBLIOGRAPHY, Pages 227-229
AUTHOR INDEX, Pages 230-231
SUBJECT INDEX, Pages 232-235

📜 SIMILAR VOLUMES

Nonmonotonic Logics: Basic Concepts, Res

📁 Nonmonotonic Logics: Basic Concepts, Results, and Techniques

✍ Karl Schlechta (eds.) 📂 Library 📅 1997 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>Nonmonotonic logics were created as an abstraction of some types of common sense reasoning, analogous to the way classical logic serves to formalize ideal reasoning about mathematical objects. These logics are nonmonotonic in the sense that enlarging the set of axioms does not necessarily imply a

Sets, Functions and Logic: Basic concept

📁 Sets, Functions and Logic: Basic concepts of university mathematics

✍ Keith J. Devlin (auth.) 📂 Library 📅 1981 🏛 Springer US 🌐 English

<p>The purpose of this book is to provide the student beginning undergraduate mathematics with a solid foundation in the basic logical concepts necessary for most of the subjects encountered in a university mathematics course. The main distinction between most school mathematics and university mathe

Well-Quasi Orders in Computation, Logic,

📁 Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Trends in Logic)

✍ Peter M. Schuster (editor), Monika Seisenberger (editor), Andreas Weiermann (edi 📂 Library 📅 2020 🏛 Springer 🌐 English

<p>This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and logic, including proof theory, commutative alge

Roots of Modern Technology: An Elegant S

📁 Roots of Modern Technology: An Elegant Survey of the Basic Mathematical and Scientific Concepts

✍ Siegfried Wendt (auth.) 📂 Library 📅 2010 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Roots of Modern Technology: An Elegant S

📁 Roots of Modern Technology: An Elegant Survey of the Basic Mathematical and Scientific Concepts

✍ Siegfried Wendt 📂 Library 📅 2010 🏛 Springer 🌐 English

<span>If the ancient Greek philosopher Socrates came to life again today, he would wonder how airplanes fly and light bulbs glow, but not wonder much about the world’s political and social changes that took place since his time. The author puts himself in the position of explaining to Socrates the t

Business Cycle Theory: A Survey of Metho

📁 Business Cycle Theory: A Survey of Methods and Concepts

✍ Prof. Dr. Günter Gabisch, Dr. Hans-Walter Lorenz (auth.) 📂 Library 📅 1987 🏛 Springer Berlin Heidelberg 🌐 English