A Shorter Model Theory

Valutazione media 3,5
( su 10 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.

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

Recensione:

'… up-to-date … can serve as an introduction to applications of model theory in computer science.' L'Enseignement Mathématique

' … a very readable introduction to the subject.' Mathematika

'This book contains rich material for a good introductory course in model theory …' European Mathematical Society

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

Descrizione del libro:

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, automorphism groups and omega-categoricity, O-minimality and structures of finite Morley rank.

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 55,06
Convertire valuta

Aggiungere al carrello

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

2.

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 57,78
Convertire valuta

Aggiungere al carrello

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

3.

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

Descrizione libro CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 1997. Paperback. Condizione libro: New. 226 x 152 mm. Language: English . Brand New Book ***** Print on Demand *****.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 AAV9780521587136

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 65,99
Convertire valuta

Aggiungere al carrello

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

4.

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 I2-9780521587136

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 62,35
Convertire valuta

Aggiungere al carrello

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

5.

Wilfrid Hodges
Editore: Cambridge Univ Pr (1997)
ISBN 10: 0521587131 ISBN 13: 9780521587136
Nuovi Paperback Quantità: 1
Da
Revaluation Books
(Exeter, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge Univ Pr, 1997. Paperback. Condizione libro: Brand New. 310 pages. 9.25x6.50x1.00 inches. In Stock. Codice libro della libreria __0521587131

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 59,13
Convertire valuta

Aggiungere al carrello

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

6.

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

Descrizione libro CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 1997. Paperback. Condizione libro: New. 226 x 152 mm. Language: English . Brand New Book ***** Print on Demand *****. 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 AAV9780521587136

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 66,19
Convertire valuta

Aggiungere al carrello

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

7.

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

Descrizione libro Cambridge University Press, 1997. PAP. Condizione libro: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria LQ-9780521587136

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 58,35
Convertire valuta

Aggiungere al carrello

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

8.

Hodges, Wilfrid
Editore: Cambridge University Press (2016)
ISBN 10: 0521587131 ISBN 13: 9780521587136
Nuovi Paperback Quantità: 1
Print on Demand
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2016. Paperback. Condizione libro: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Codice libro della libreria ria9780521587136_lsuk

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 68,01
Convertire valuta

Aggiungere al carrello

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

9.

WILFRID HODGES
ISBN 10: 0521587131 ISBN 13: 9780521587136
Nuovi Paperback Quantità: 1
Da
Herb Tandree Philosophy Books
(Stroud, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro 1997. Paperback. Condizione libro: NEW. 9780521587136 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Codice libro della libreria HTANDREE0464641

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 64,98
Convertire valuta

Aggiungere al carrello

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

10.

Hodges, Wilfrid
Editore: Cambridge University Press (2017)
ISBN 10: 0521587131 ISBN 13: 9780521587136
Nuovi Paperback Quantità: 20
Print on Demand
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2017. Paperback. Condizione libro: New. This item is printed on demand. Codice libro della libreria 0521587131

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 78,97
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,77
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro