Models and games /

This introduction makes extensive use of three important games in logic: the semantic game, the Ehrenfeucht-Fraisse game and the model existence game. Over 500 exercises are included and instructors will appreciate the game-theoretical presentation of basic materials as well as more advanced applica...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Väänänen, J. (Jouko), 1950-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge ; New York : Cambridge University Press, ©2011.
Colección:Cambridge studies in advanced mathematics ; 132.
Temas:
Model theory.
Théorie des modèles.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Ia 4500
001 EBSCO_ocn730500577
003 OCoLC
005 20231017213018.0
006 m o d
007 cr mnu---unuuu
008 110614s2011 enka ob 001 0 eng d
040 |a N$T  |b eng  |e pn  |c N$T  |d E7B  |d OSU  |d OCLCQ  |d REDDC  |d OCLCQ  |d DEBSZ  |d OCLCQ  |d YDXCP  |d OCLCQ  |d OCLCF  |d OCLCQ  |d OTZ  |d UAB  |d OCLCQ  |d INT  |d OCLCQ  |d UIU  |d K6U  |d UKAHL  |d OCLCQ  |d OCLCO  |d INTCL  |d OCLCO  |d OCLCQ 
019 |a 743196362  |a 994926822  |a 1064144528 
020 |a 9781139077347  |q (electronic bk.) 
020 |a 1139077341  |q (electronic bk.) 
020 |a 9781139079624  |q (eisbn) 
020 |a 113907962X  |q (eisbn) 
020 |a 9780511974885 
020 |a 0511974884 
020 |z 9780521518123  |q (hbk.) 
020 |z 0521518121  |q (hbk.) 
029 1 |a AU@  |b 000049145952 
029 1 |a CHNEW  |b 000606961 
029 1 |a DEBSZ  |b 372699413 
035 |a (OCoLC)730500577  |z (OCoLC)743196362  |z (OCoLC)994926822  |z (OCoLC)1064144528 
050 4 |a QA9.7  |b .V33 2011eb 
072 7 |a MAT  |x 016000  |2 bisacsh 
072 7 |a MAT  |x 018000  |2 bisacsh 
082 0 4 |a 511.34  |2 22 
049 |a UAMI 
100 1 |a Väänänen, J.  |q (Jouko),  |d 1950- 
245 1 0 |a Models and games /  |c by Jouko Väänänen. 
260 |a Cambridge ;  |a New York :  |b Cambridge University Press,  |c ©2011. 
300 |a 1 online resource (ix, 367 pages) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Cambridge studies in advanced mathematics ;  |v 132 
520 8 |a This introduction makes extensive use of three important games in logic: the semantic game, the Ehrenfeucht-Fraisse game and the model existence game. Over 500 exercises are included and instructors will appreciate the game-theoretical presentation of basic materials as well as more advanced applications. 
504 |a Includes bibliographical references (pages 353-361) and index. 
588 0 |a Print version record. 
505 0 |a Introduction -- Preliminaries and notation -- Games -- Graphs -- Models -- First-order logic -- Infinitary logic -- Model theory of infinitary logic -- Stronger infinitary logics -- Generalized quantifiers. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a Model theory. 
650 6 |a Théorie des modèles. 
650 7 |a MATHEMATICS  |x Infinity.  |2 bisacsh 
650 7 |a MATHEMATICS  |x Logic.  |2 bisacsh 
650 7 |a Model theory.  |2 fast  |0 (OCoLC)fst01024368 
776 0 8 |i Print version:  |a Väänänen, J. (Jouko), 1950-  |t Models and games.  |d Cambridge ; New York : Cambridge University Press, 2011  |z 9780521518123  |w (OCoLC)720751237 
830 0 |a Cambridge studies in advanced mathematics ;  |v 132. 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=366134  |z Texto completo 
938 |a Askews and Holts Library Services  |b ASKH  |n AH13438484 
938 |a Askews and Holts Library Services  |b ASKH  |n AH28321464 
938 |a ebrary  |b EBRY  |n ebr10476495 
938 |a EBSCOhost  |b EBSC  |n 366134 
938 |a YBP Library Services  |b YANK  |n 6939027 
938 |a YBP Library Services  |b YANK  |n 6902088 
938 |a YBP Library Services  |b YANK  |n 6940559 
938 |a YBP Library Services  |b YANK  |n 6943945 
994 |a 92  |b IZTAP 

Ejemplares similares