Mathematical Interpretation of Formal Systems

Front Cover
Elsevier, 1955 - Electronic books - 113 pages
0 Reviews
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Chapter I Peanos Axioms and Models of Arithmetic
1
Chapter II On Definability and Derivability
15
Chapter III Models Translations and Interpretations
26
Chapter IV Ordered Structures and Related Concepts
51
Chapter V On Denumerable Bases of Formal Systems
57
Chapter VI The Representation Theorem for Cylindrical Algebras
85
Chapter V Quelques Remarques Théorèmes et Problèmes sur lee Classes Définissables dalgèbres
98
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information