Cover Image

Mathematical interpretation of formal systems

Show other versions (1)
Bibliographic Details
Corporate Authors: Wiskundig Genootschap (Netherlands), ScienceDirect (Online service)
Other Authors: Skolem, Th. (Thoralf), 1887-1963
Format: eBook
Language:English
Published: Amsterdam, North-Holland Pub. Co., 1955.
Series:Studies in logic and the foundations of mathematics.
Subjects:
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
Logic, Symbolic and mathematical
Mathematik
Electronic books.
Formales System.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Peano's axioms and models of arithmetic / Th. Skolem
  • On definability and derivability / G. Hasenjaeger
  • Models, translations and interpretations / G. Kreisel
  • Ordered structures and related concepts / Abraham Robinson
  • On denumerable bases of formal systems / Hao Wang
  • Representation theorem for cylindrical algebras / L. Henkin
  • Quelques remarques, théorèmes et problèmes sur les classes définissables d'algèbres / Jerzy Loś.