Automorphisms of first-order structures / edited by Richard Kaye and Dugald Macpherson |
Pubbl/distr/stampa | New York, : Clarendon, : Oxford, 1994 |
Descrizione fisica | XIV, 386 p. ; 24 cm. |
Soggetto topico |
20-XX - Group theory and generalizations [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
ISBN | 978-01-985346-8-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0055702 |
New York, : Clarendon, : Oxford, 1994 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Automorphisms of first-order structures / edited by Richard Kaye and Dugald Macpherson |
Pubbl/distr/stampa | New York, : Clarendon, : Oxford, 1994 |
Descrizione fisica | XIV, 386 p. ; 24 cm |
Soggetto topico |
20-XX - Group theory and generalizations [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
ISBN | 978-01-985346-8-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0055702 |
New York, : Clarendon, : Oxford, 1994 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Linear algebra / Richard Kaye and Robert Wilson |
Autore | Kaye, Richard |
Pubbl/distr/stampa | Oxford, : Oxford university, 1998 |
Descrizione fisica | XI, 230 p. : ill. ; 24 cm. |
Altri autori (Persone) | Wilson, Robert |
Soggetto topico | 15-XX - Linear and multilinear algebra; matrix theory [MSC 2020] |
ISBN |
01-985023-8-9
978-01-985023-8-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0055707 |
Kaye, Richard
![]() |
||
Oxford, : Oxford university, 1998 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Linear algebra / Richard Kaye and Robert Wilson |
Autore | Kaye, Richard |
Pubbl/distr/stampa | Oxford, : Oxford university, 1998 |
Descrizione fisica | XI, 230 p. : ill. ; 24 cm |
Altri autori (Persone) | Wilson, Robert |
Soggetto topico | 15-XX - Linear and multilinear algebra; matrix theory [MSC 2020] |
ISBN |
01-985023-8-9
978-01-985023-8-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0055707 |
Kaye, Richard
![]() |
||
Oxford, : Oxford university, 1998 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Linear algebra / Richard Kaye and Robert Wilson |
Autore | Kaye, Richard |
Pubbl/distr/stampa | Oxford ; New York ; Tokyo : Oxford Univ. Press, 1998 |
Descrizione fisica | xi, 230 p. : ill. ; 24 cm. |
Disciplina | 512.5 |
Altri autori (Persone) | Wilson, Robertauthor |
Collana | Oxford science publications |
Soggetto topico | Linear algebras |
ISBN | 0198502370 |
Classificazione | AMS 15-01 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001083739707536 |
Kaye, Richard
![]() |
||
Oxford ; New York ; Tokyo : Oxford Univ. Press, 1998 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Models of Peano arithmetic / Richard Kaye |
Autore | Kaye, Richard |
Pubbl/distr/stampa | New York, : Clarendon, : Oxford, 1991 |
Descrizione fisica | X, 292 p. ; 24 cm. |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020] 03C62 - Models of arithmetic and set theory [MSC 2020] |
ISBN | 978-01-985321-3-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0055700 |
Kaye, Richard
![]() |
||
New York, : Clarendon, : Oxford, 1991 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Models of Peano arithmetic / Richard Kaye |
Autore | Kaye, Richard |
Pubbl/distr/stampa | New York, : Clarendon, : Oxford, 1991 |
Descrizione fisica | X, 292 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020] 03C62 - Models of arithmetic and set theory [MSC 2020] |
ISBN | 978-01-985321-3-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0055700 |
Kaye, Richard
![]() |
||
New York, : Clarendon, : Oxford, 1991 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Models of Peano arithmetic / Richard Kaye |
Autore | Kaye, Richard |
Pubbl/distr/stampa | Oxford : Clarendon Press, 1991 |
Descrizione fisica | 292 p. ; 24 cm |
Disciplina | 511.3 |
Collana | Oxford logic guides ; 15 |
Soggetto topico |
Model theory
Arithmetic - Foundations |
ISBN | 019853213X |
Classificazione | AMS 03C62 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001152309707536 |
Kaye, Richard
![]() |
||
Oxford : Clarendon Press, 1991 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
The mathematics of logic : a guide to completeness theorems and their applications / Richard Kaye |
Autore | Kaye, Richard |
Pubbl/distr/stampa | Cambridge, : Cambridge university, 2007 |
Descrizione fisica | XI, 204 p. ; 23 cm. |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN | 978-05-217-0877-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0064290 |
Kaye, Richard
![]() |
||
Cambridge, : Cambridge university, 2007 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
The mathematics of logic : a guide to completeness theorems and their applications / Richard Kaye |
Autore | Kaye, Richard |
Pubbl/distr/stampa | Cambridge, : Cambridge university, 2007 |
Descrizione fisica | XI, 204 p. ; 23 cm |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN | 978-05-217-0877-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISOB-VAN0064290 |
Kaye, Richard
![]() |
||
Cambridge, : Cambridge university, 2007 | ||
![]() | ||
Lo trovi qui: Univ. Suor Orsola Benincasa | ||
|