Verwandte Artikel zu Basic Model Theory (Studies in Logic Language and Informatio...
Inhaltsangabe
Model theory investigates the relationships between mathematical structures ('models') on the one hand and formal languages (in which statements about these structures can be formulated) on the other. As the title indicates, this book introduces the reader to what is basic in model theory. A special feature is its use of the Ehrenfeucht game by which the reader is familiarised with the world of models.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
Model theory investigates the relationships between mathematical structures ('models') on the one hand and formal languages (in which statements about these structures can be formulated) on the other. Example structures are: the natural numbers with the usual arithmetical operations, the structures familiar from algebra, ordered sets, etc. The emphasis is on first-order languages, the model theory of which is best known. An example result is Löwenheim's theorem (the oldest in the field): a first-order sentence true of some uncountable structure must hold in some countable structure as well. Second-order languages and several of their fragments are dealt with as well. As the title indicates, this book introduces the reader to what is basic in model theory. A special feature is its use of the Ehrenfeucht game by which the reader is familiarised with the world of models.
Product Description
New
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Basic Model Theory (Studies in Logic Language and Informatio...
Beispielbild für diese ISBN
Basic Model Theory (Studies in Logic Language and Information)
Anbieter: AwesomeBooks, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Very Good. Basic Model Theory (Studies in Logic Language and Information) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Artikel-Nr. 7719-9781575860480
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Basic Model Theory (Studies in Logic Language and Information)
Anbieter: Bahamut Media, Reading, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Artikel-Nr. 6545-9781575860480
Anzahl: 1 verfügbar