Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A Course in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz
| A Course in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz |
| Autore | Manin, Yuri I. |
| Pubbl/distr/stampa | New York, : Springer, 1977 |
| Descrizione fisica | xiii, 288 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B10 - Classical first-order logic [MSC 2020] 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] 03D80 - Applications of computability and recursion theory [MSC 2020] 03E50 - Continuum hypothesis and Martin's axiom [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] 03G12 - Quantum logic [MSC 2020] 11Uxx - Connections of number theory and logic [MSC 2020] 20A15 - Applications of logic to group theory [MSC 2020] |
| Soggetto non controllato |
Boundary Element Methods
Computability Forcing Formal languages Forms Functions Language Logic Mathematical logic Mathematics Presentations Theory of complexity |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00268046 |
Manin, Yuri I.
|
||
| New York, : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Almost free modules : set-theoretic methods / Paul C. Eklof, Alan H. Mekler
| Almost free modules : set-theoretic methods / Paul C. Eklof, Alan H. Mekler |
| Autore | Eklof, Paul C. |
| Edizione | [Revised ed] |
| Pubbl/distr/stampa | Amsterdam [etc.], : Elsevier, 2002 |
| Descrizione fisica | XXI, 597 p. ; 23 cm |
| Altri autori (Persone) | Mekler, Alan H. |
| Soggetto topico |
03C60 - Model-theoretic algebra [MSC 2020]
20A15 - Applications of logic to group theory [MSC 2020] 03E05 - Other combinatorial set theory [MSC 2020] 03E75 - Applications of set theory [MSC 2020] |
| ISBN | 8-0-444-50492-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0092423 |
|
Eklof, Paul C.
|
||
| Amsterdam [etc.], : Elsevier, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Almost free modules : set-theoretic methods / Paul C. Eklof, Alan H. Mekler
| Almost free modules : set-theoretic methods / Paul C. Eklof, Alan H. Mekler |
| Autore | Eklof, Paul C. |
| Edizione | [Revised ed] |
| Pubbl/distr/stampa | Amsterdam, : Elsevier, 2002 |
| Descrizione fisica | XXI, 597 p. ; 23 cm |
| Altri autori (Persone) | Mekler, Alan H. |
| Soggetto topico |
03C60 - Model-theoretic algebra [MSC 2020]
20A15 - Applications of logic to group theory [MSC 2020] 03E05 - Other combinatorial set theory [MSC 2020] 03E75 - Applications of set theory [MSC 2020] |
| ISBN | 978-04-445-0492-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0092423 |
|
Eklof, Paul C.
|
||
| Amsterdam, : Elsevier, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Almost free modules : set-theoretic methods / Paul C. Eklof, Alan H. Mekler
| Almost free modules : set-theoretic methods / Paul C. Eklof, Alan H. Mekler |
| Autore | Eklof, Paul C. |
| Edizione | [Revised ed] |
| Pubbl/distr/stampa | Amsterdam, : Elsevier, 2002 |
| Descrizione fisica | XXI, 597 p. ; 23 cm |
| Altri autori (Persone) | Mekler, Alan H. |
| Soggetto topico |
03C60 - Model-theoretic algebra [MSC 2020]
03E05 - Other combinatorial set theory [MSC 2020] 03E75 - Applications of set theory [MSC 2020] 20A15 - Applications of logic to group theory [MSC 2020] |
| ISBN | 978-04-445-0492-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00092423 |
|
Eklof, Paul C.
|
||
| Amsterdam, : Elsevier, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Existentially closed Groups / Graham Higman, Elizabeth Scott
| Existentially closed Groups / Graham Higman, Elizabeth Scott |
| Autore | Higman, Graham |
| Pubbl/distr/stampa | New York, : Clarendon ; Oxford university, 1988 |
| Descrizione fisica | XIV, 156 p. ; 24 cm. |
| Altri autori (Persone) | Scott, Elizabeth |
| Soggetto topico |
20-XX - Group theory and generalizations [MSC 2020]
20F10 - Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) [MSC 2020] 20F05 - Generators, relations, and presentations of groups [MSC 2020] 03C60 - Model-theoretic algebra [MSC 2020] 20E34 - General structure theorems of groups [MSC 2020] 03D80 - Applications of computability and recursion theory [MSC 2020] 20A15 - Applications of logic to group theory [MSC 2020] |
| ISBN |
01-985354-3-0
978-01-985354-3-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0056280 |
|
Higman, Graham
|
||
| New York, : Clarendon ; Oxford university, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Existentially closed Groups / Graham Higman, Elizabeth Scott
| Existentially closed Groups / Graham Higman, Elizabeth Scott |
| Autore | Higman, Graham |
| Pubbl/distr/stampa | New York, : Clarendon ; Oxford university, 1988 |
| Descrizione fisica | XIV, 156 p. ; 24 cm |
| Altri autori (Persone) | Scott, Elizabeth |
| Soggetto topico |
20-XX - Group theory and generalizations [MSC 2020]
20F10 - Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) [MSC 2020] 20F05 - Generators, relations, and presentations of groups [MSC 2020] 03C60 - Model-theoretic algebra [MSC 2020] 20E34 - General structure theorems of groups [MSC 2020] 03D80 - Applications of computability and recursion theory [MSC 2020] 20A15 - Applications of logic to group theory [MSC 2020] |
| ISBN |
01-985354-3-0
978-01-985354-3-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0056280 |
|
Higman, Graham
|
||
| New York, : Clarendon ; Oxford university, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Existentially closed Groups / Graham Higman, Elizabeth Scott
| Existentially closed Groups / Graham Higman, Elizabeth Scott |
| Autore | Higman, Graham |
| Pubbl/distr/stampa | New York, : Clarendon ; Oxford university, 1988 |
| Descrizione fisica | XIV, 156 p. ; 24 cm |
| Altri autori (Persone) | Scott, Elizabeth |
| Soggetto topico |
03C60 - Model-theoretic algebra [MSC 2020]
03D80 - Applications of computability and recursion theory [MSC 2020] 20-XX - Group theory and generalizations [MSC 2020] 20A15 - Applications of logic to group theory [MSC 2020] 20E34 - General structure theorems of groups [MSC 2020] 20F05 - Generators, relations, and presentations of groups [MSC 2020] 20F10 - Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) [MSC 2020] |
| ISBN |
01-985354-3-0
978-01-985354-3-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00056280 |
|
Higman, Graham
|
||
| New York, : Clarendon ; Oxford university, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Model theory of groups and automorphism groups : Blaubeuren, August 1995 / edited by David M. Evans
| Model theory of groups and automorphism groups : Blaubeuren, August 1995 / edited by David M. Evans |
| Autore | RESMOD Summer School on Model Theory of Groups and Automorphism Groups : 1995 : Blaubeuren, Germany |
| Pubbl/distr/stampa | Cambridge, : Cambridge University, 1997 |
| Descrizione fisica | XVI, 212 p. : ill. ; 23 cm. |
| Soggetto topico |
03C60 - Model-theoretic algebra [MSC 2020]
20A15 - Applications of logic to group theory [MSC 2020] |
| ISBN |
978-05-215-8955-0
05-215-8955-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0055905 |
|
RESMOD Summer School on Model Theory of Groups and Automorphism Groups : 1995 : Blaubeuren, Germany
|
||
| Cambridge, : Cambridge University, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Model theory of groups and automorphism groups : Blaubeuren, August 1995 / edited by David M. Evans
| Model theory of groups and automorphism groups : Blaubeuren, August 1995 / edited by David M. Evans |
| Autore | RESMOD Summer School on Model Theory of Groups and Automorphism Groups : 1995 : Blaubeuren, Germany |
| Pubbl/distr/stampa | Cambridge, : Cambridge University, 1997 |
| Descrizione fisica | XVI, 212 p. : ill. ; 23 cm |
| Soggetto topico |
03C60 - Model-theoretic algebra [MSC 2020]
20A15 - Applications of logic to group theory [MSC 2020] |
| ISBN |
05-215-8955-X
978-05-215-8955-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0055905 |
|
RESMOD Summer School on Model Theory of Groups and Automorphism Groups : 1995 : Blaubeuren, Germany
|
||
| Cambridge, : Cambridge University, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Model theory of groups and automorphism groups : Blaubeuren, August 1995 / edited by David M. Evans
| Model theory of groups and automorphism groups : Blaubeuren, August 1995 / edited by David M. Evans |
| Autore | RESMOD Summer School on Model Theory of Groups and Automorphism Groups : 1995 : Blaubeuren, Germany |
| Pubbl/distr/stampa | Cambridge, : Cambridge University, 1997 |
| Descrizione fisica | XVI, 212 p. : ill. ; 23 cm |
| Soggetto topico |
03C60 - Model-theoretic algebra [MSC 2020]
20A15 - Applications of logic to group theory [MSC 2020] |
| ISBN |
05-215-8955-X
978-05-215-8955-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00055905 |
|
RESMOD Summer School on Model Theory of Groups and Automorphism Groups : 1995 : Blaubeuren, Germany
|
||
| Cambridge, : Cambridge University, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
