A shorter model theory / Wilfrid Hodges |
Autore | Hodges, Wilfrid |
Pubbl/distr/stampa | Cambridge, : Cambridge university, 1997 |
Descrizione fisica | X, 310 p. ; 23 cm. |
Soggetto topico | 03Cxx - Model theory [MSC 2020] |
ISBN |
05-215-8713-1
978-05-215-8713-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0055922 |
Hodges, Wilfrid | ||
Cambridge, : Cambridge university, 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
A shorter model theory / Wilfrid Hodges |
Autore | Hodges, Wilfrid |
Pubbl/distr/stampa | Cambridge, : Cambridge university, 1997 |
Descrizione fisica | X, 310 p. ; 23 cm |
Soggetto topico | 03Cxx - Model theory [MSC 2020] |
ISBN |
05-215-8713-1
978-05-215-8713-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0055922 |
Hodges, Wilfrid | ||
Cambridge, : Cambridge university, 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
A shorter model theory / Wilfrid Hodges |
Autore | Hodges, Wilfrid |
Pubbl/distr/stampa | Cambridge, : Cambridge university, 1997 |
Descrizione fisica | X, 310 p. ; 23 cm |
Soggetto topico | 03Cxx - Model theory [MSC 2020] |
ISBN |
05-215-8713-1
978-05-215-8713-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00055922 |
Hodges, Wilfrid | ||
Cambridge, : Cambridge university, 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Conference in mathematical logic - London '70 / edited by Wilfrid Hodges |
Autore | Conference in mathematical logic : <1970 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, 1972 |
Descrizione fisica | VI, 351 p. ; 26 cm. |
Disciplina | 511.3 |
Collana | Lecture notes in mathematics |
Soggetto topico | Logica matematica - Congressi |
ISBN | 3-540-05744-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNIBAS-000014814 |
Conference in mathematical logic : <1970 | ||
Berlin [etc.] : Springer, 1972 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. della Basilicata | ||
|
Conference in mathematical logic - London ’70 [e-book] / edited by Wilfrid Hodges |
Pubbl/distr/stampa | Berlin : Springer, 1972 |
Descrizione fisica | 1 online resource (351 p.) |
Disciplina | 510 |
Altri autori (Persone) | Hodges, Wilfrid |
Collana | Lecture Notes in Mathematics, 0075-8434 ; 255 |
Soggetto topico | Mathematics |
ISBN | 9783540371625 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991002166059707536 |
Berlin : Springer, 1972 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. del Salento | ||
|
Conference in Mathematical Logic, London '70 / edited by Wilfrid Hodges |
Autore | Conference in mathematical logic <1970 ; London> |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1972 |
Descrizione fisica | vi, 351 p. ; 26 cm |
Disciplina | 511.3 |
Altri autori (Persone) | Hodges, Wilfrid |
Collana | Lecture notes in mathematics, 0075-8434 ; 255 |
Soggetto topico | Symbolic logic - Congresses |
ISBN | 3540057447 |
Classificazione | AMS 03-06 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000780339707536 |
Conference in mathematical logic <1970 ; London> | ||
Berlin ; New York : Springer-Verlag, 1972 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Conference in Mathematical Logic, London '70 / Edited by Wilfrid Hodges |
Pubbl/distr/stampa | Berlin, : Springer, 1972 |
Descrizione fisica | vi, 351 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
Soggetto non controllato |
Arithmetic
Calculus Finite Functions Identity Logic Mathematical logic Ordinals Set Theory Theorem |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0255495 |
Berlin, : Springer, 1972 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Conference in Mathematical Logic, London '70 / Edited by Wilfrid Hodges |
Pubbl/distr/stampa | Berlin, : Springer, 1972 |
Descrizione fisica | vi, 351 p. ; 24 cm |
Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] |
Soggetto non controllato |
Arithmetic
Calculus Finite Functions Identity Logic Mathematical logic Ordinals Set Theory Theorem |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00255495 |
Berlin, : Springer, 1972 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logic : from foundations to applications : european logic colloquium / edited by Wilfrid Hodges ... [et al.] |
Pubbl/distr/stampa | New York, : Clarendon, : Oxford, 1996 |
Descrizione fisica | XIII, 536 p. : ill. ; 24 cm. |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN | 978-01-985386-2-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0029689 |
New York, : Clarendon, : Oxford, 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logic : from foundations to applications : european logic colloquium / edited by Wilfrid Hodges ... [et al.] |
Pubbl/distr/stampa | New York, : Clarendon, : Oxford, 1996 |
Descrizione fisica | XIII, 536 p. : ill. ; 24 cm |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN | 978-01-985386-2-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0029689 |
New York, : Clarendon, : Oxford, 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|