Mathematical Logic: An Introduction to Model Theory (Mathematical Concepts and Methods in Science and Engineering) von A. H. Lightstone: Good hardcover (1978)

Beschreibung

Good. Bestandsnummer des Verk�ufers D8S0-3-M-0306308940-3

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Mathematical Logic: An Introduction to Model...

Verlag: Press

Erscheinungsdatum: 1978

Einband: hardcover

Zustand: Good

Art des Buches: book

�ber diesen Titel

Inhaltsangabe:

Before his death in March, 1976, A. H. Lightstone delivered the manu� script for this book to Plenum Press. Because he died before the editorial work on the manuscript was completed, I agreed (in the fall of 1976) to serve as a surrogate author and to see the project through to completion. I have changed the manuscript as little as possible, altering certain passages to correct oversights. But the alterations are minor; this is Lightstone's book. H. B. Enderton vii Preface This is a treatment of the predicate calculus in a form that serves as a foundation for nonstandard analysis. Classically, the predicates and variables of the predicate calculus are kept distinct, inasmuch as no variable is also a predicate; moreover, each predicate is assigned an order, a unique natural number that indicates the length of each tuple to which the predicate can be prefixed. These restrictions are dropped here, in order to develop a flexible, expressive language capable of exploiting the potential of nonstandard analysis. To assist the reader in grasping the basic ideas of logic, we begin in Part I by presenting the propositional calculus and statement systems. This provides a relatively simple setting in which to grapple with the some� times foreign ideas of mathematical logic. These ideas are repeated in Part II, where the predicate calculus and semantical systems are studied.

Rese�a del editor:

Before his death in March, 1976, A. H. Lightstone delivered the manu� script for this book to Plenum Press. Because he died before the editorial work on the manuscript was completed, I agreed (in the fall of 1976) to serve as a surrogate author and to see the project through to completion. I have changed the manuscript as little as possible, altering certain passages to correct oversights. But the alterations are minor; this is Lightstone's book. H. B. Enderton vii Preface This is a treatment of the predicate calculus in a form that serves as a foundation for nonstandard analysis. Classically, the predicates and variables of the predicate calculus are kept distinct, inasmuch as no variable is also a predicate; moreover, each predicate is assigned an order, a unique natural number that indicates the length of each tuple to which the predicate can be prefixed. These restrictions are dropped here, in order to develop a flexible, expressive language capable of exploiting the potential of nonstandard analysis. To assist the reader in grasping the basic ideas of logic, we begin in Part I by presenting the propositional calculus and statement systems. This provides a relatively simple setting in which to grapple with the some� times foreign ideas of mathematical logic. These ideas are repeated in Part II, where the predicate calculus and semantical systems are studied.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verwandte Artikel zu Mathematical Logic: An Introduction to Model Theory...

Mathematical Logic: An Introduction to Model Theory (Mathematical Concepts and Methods in Science and Engineering)

A. H. Lightstone

Gebraucht - Hardcover

Unternehmensdaten des Verk�ufers