A Shorter Model Theory

Valutazione media 3,64
( su 11 valutazioni fornite da Goodreads )
 
9780521587136: A Shorter Model Theory

This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Besides standard results such as the compactness and omitting types theorems, it also describes various links with algebra, including the Skolem-Tarski method of quantifier elimination, model completeness, automorphism groups and omega-categoricity, ultraproducts, O-minimality and structures of finite Morley rank. The material on back-and-forth equivalences, interpretations and zero-one laws can serve as an introduction to applications of model theory in computer science. Each chapter finishes with a brief commentary on the literature and suggestions for further reading. This book will benefit graduate students with an interest in model theory.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

About the Author:

fm.author_biographical_note1

Review:

"I have talked with students who first learned about model theory from this text, and overall it served them well. From his impressive work in 1993, Hodges has distilled an accessible introductory account. In doing so he has provided a valuable resource for a first study of model theory." International Joy of Symbolic Logic

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Hodges, Wilfrid
Editore: Cambridge University Press 2003-09 (2003)
ISBN 10: 0521587131 ISBN 13: 9780521587136
Nuovi Quantità: 5
Print on Demand
Da
Chiron Media
(Wallingford, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press 2003-09, 2003. Condizione libro: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Codice libro della libreria NU-LSI-06893119

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 52,90
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,35
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

2.

Wilfrid Hodges
Editore: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (1997)
ISBN 10: 0521587131 ISBN 13: 9780521587136
Nuovi Paperback Quantità: 1
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 1997. Paperback. Condizione libro: New. Language: English . Brand New Book. This is an up-to-date textbook of model theory taking the reader from first definitions to Morley s theorem and the elementary parts of stability theory. Besides standard results such as the compactness and omitting types theorems, it also describes various links with algebra, including the Skolem-Tarski method of quantifier elimination, model completeness, automorphism groups and omega-categoricity, ultraproducts, O-minimality and structures of finite Morley rank. The material on back-and-forth equivalences, interpretations and zero-one laws can serve as an introduction to applications of model theory in computer science. Each chapter finishes with a brief commentary on the literature and suggestions for further reading. Codice libro della libreria AAU9780521587136

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 56,37
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

3.

Wilfrid Hodges
Editore: Cambridge University Press 1997-04-10, Cambridge (1997)
ISBN 10: 0521587131 ISBN 13: 9780521587136
Nuovi paperback Quantità: > 20
Da
Blackwell's
(Oxford, OX, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press 1997-04-10, Cambridge, 1997. paperback. Condizione libro: New. Codice libro della libreria 9780521587136

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 53,50
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,36
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

4.

Wilfrid Hodges
Editore: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2003)
ISBN 10: 0521587131 ISBN 13: 9780521587136
Nuovi Paperback Quantità: 1
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2003. Paperback. Condizione libro: New. Language: English . Brand New Book. This is an up-to-date textbook of model theory taking the reader from first definitions to Morley s theorem and the elementary parts of stability theory. Besides standard results such as the compactness and omitting types theorems, it also describes various links with algebra, including the Skolem-Tarski method of quantifier elimination, model completeness, automorphism groups and omega-categoricity, ultraproducts, O-minimality and structures of finite Morley rank. The material on back-and-forth equivalences, interpretations and zero-one laws can serve as an introduction to applications of model theory in computer science. Each chapter finishes with a brief commentary on the literature and suggestions for further reading. Codice libro della libreria AAU9780521587136

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 57,90
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

Hodges, Wilfrid
Editore: Cambridge University Press (1997)
ISBN 10: 0521587131 ISBN 13: 9780521587136
Nuovi Brossura Prima edizione Quantità: 1
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 1997. Condizione libro: New. This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Num Pages: 324 pages, Illustrations. BIC Classification: PBCD; PBWH. Category: (P) Professional & Vocational. Dimension: 230 x 153 x 19. Weight in Grams: 484. . 1997. 1st Edition. Paperback. . . . . . Codice libro della libreria V9780521587136

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 59,91
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Irlanda a: U.S.A.
Destinazione, tempi e costi

6.

Hodges, Wilfrid
Editore: Cambridge University Press (1997)
ISBN 10: 0521587131 ISBN 13: 9780521587136
Nuovi Quantità: > 20
Print on Demand
Da
Pbshop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 1997. PAP. Condizione libro: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria IQ-9780521587136

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 57,78
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,43
In U.S.A.
Destinazione, tempi e costi

7.

Wilfrid Hodges
ISBN 10: 0521587131 ISBN 13: 9780521587136
Nuovi Paperback Quantità: 1
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Paperback. Condizione libro: New. Not Signed; This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Besides standard results such as the compactness and omitting types theorems, it also describes various links with algebra, including the Skolem-T. book. Codice libro della libreria ria9780521587136_rkm

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 58,40
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,33
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

8.

Hodges, Wilfrid
Editore: Cambridge University Press
ISBN 10: 0521587131 ISBN 13: 9780521587136
Nuovi Brossura Quantità: 1
Da
Kennys Bookstore
(Olney, MD, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press. Condizione libro: New. This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Num Pages: 324 pages, Illustrations. BIC Classification: PBCD; PBWH. Category: (P) Professional & Vocational. Dimension: 230 x 153 x 19. Weight in Grams: 484. . 1997. 1st Edition. Paperback. . . . . Books ship from the US and Ireland. Codice libro della libreria V9780521587136

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 63,39
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

9.

Hodges, Wilfrid
Editore: Cambridge University Press (1997)
ISBN 10: 0521587131 ISBN 13: 9780521587136
Nuovi Quantità: 1
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 1997. PAP. Condizione libro: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Codice libro della libreria BB-9780521587136

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 53,39
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,08
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

10.

Wilfred Hodges
Editore: Cambridge University Press
ISBN 10: 0521587131 ISBN 13: 9780521587136
Nuovi Paperback Quantità: 5
Print on Demand
Da
THE SAINT BOOKSTORE
(Southport, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press. Paperback. Condizione libro: new. BRAND NEW PRINT ON DEMAND., A Shorter Model Theory, Wilfred Hodges, This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Besides standard results such as the compactness and omitting types theorems, it also describes various links with algebra, including the Skolem-Tarski method of quantifier elimination, model completeness, automorphism groups and omega-categoricity, ultraproducts, O-minimality and structures of finite Morley rank. The material on back-and-forth equivalences, interpretations and zero-one laws can serve as an introduction to applications of model theory in computer science. Each chapter finishes with a brief commentary on the literature and suggestions for further reading. Codice libro della libreria B9780521587136

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 55,92
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 7,78
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro