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 Ivanovich |
| Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, 1977 |
| Descrizione fisica | xiii, 286 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Graduate texts in mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-387-90243-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001029700403321 |
Manin, Yuri Ivanovich
|
||
| New York [etc.] : Springer-Verlag, 1977 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 non controllato |
Boundary Element Methods
Computability Forcing Formal languages Forms Functions Language Logic Mathematical logic Mathematics Presentation theory of complexity |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0268046 |
Manin, Yuri I.
|
||
| New York, : Springer, 1977 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A course in mathematical logic for mathematicians / Yu. I. Manin ; chapters I-VIII translated from the russian by Neal Koblitz ; whit new chapters by Boris Zilber and Yuri I. Manin
| A course in mathematical logic for mathematicians / Yu. I. Manin ; chapters I-VIII translated from the russian by Neal Koblitz ; whit new chapters by Boris Zilber and Yuri I. Manin |
| Autore | Manin, Yuri I. |
| Edizione | [2. ed.] |
| Pubbl/distr/stampa | New York : Springer, c2010 |
| Descrizione fisica | XVII, 384 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Graduate texts in mathematics |
| Soggetto non controllato |
Logica matematica e fondamenti - Esposizione didattica
Logica classica del primo ordine Logica quantistica |
| ISBN | 978-1-4419-0614-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009140290403321 |
Manin, Yuri I.
|
||
| New York : Springer, c2010 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A course in number theory and cryptography / Neal Koblitz
| A course in number theory and cryptography / Neal Koblitz |
| Autore | Koblitz, Neal |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | New York : Springer-Verlag, c1994 |
| Descrizione fisica | x, 235 p. ; 24 cm |
| Disciplina | 512.7 |
| Collana | Graduate texts in mathematics |
| Soggetto non controllato |
Teoria dei numeri
Teoria della codificazione algebrica |
| ISBN | 0-387-94293-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001332260403321 |
Koblitz, Neal
|
||
| New York : Springer-Verlag, c1994 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A course in number theory and cryptography / Neal Koblitz
| A course in number theory and cryptography / Neal Koblitz |
| Autore | Koblitz, Neal |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer, 1994 |
| Descrizione fisica | X, 235 p. ; 24 cm. |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
11T71 Algebraic coding theory; cryptography [MSC 2020] |
| ISBN |
978-03-87942-93-3
03-87942-93-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0030052 |
Koblitz, Neal
|
||
| New York, : Springer, 1994 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A course in number theory and cryptography / Neal Koblitz
| A course in number theory and cryptography / Neal Koblitz |
| Autore | Koblitz, Neal |
| Edizione | [2nd ed] |
| Pubbl/distr/stampa | New York [etc.], : Springer-Verlag, copyr. 1994 |
| Descrizione fisica | X, 235 p. : ill. ; 20 cm |
| Disciplina | 512.7 |
| Collana | Graduate texts in mathematics |
| Soggetto topico |
Teoria dei numeri
Crittografi |
| ISBN | 0-387-94293-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000962930203316 |
Koblitz, Neal
|
||
| New York [etc.], : Springer-Verlag, copyr. 1994 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A course in number theory and cryptography / Neal Koblitz
| A course in number theory and cryptography / Neal Koblitz |
| Autore | Koblitz, Neal |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer, 1994 |
| Descrizione fisica | X, 235 p. ; 24 cm |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
11T71 Algebraic coding theory; cryptography [MSC 2020] |
| Soggetto non controllato |
Continued Fractions
Cryptography Finite fields Number theory Prime |
| ISBN |
03-87942-93-9
978-03-87942-93-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0030052 |
Koblitz, Neal
|
||
| New York, : Springer, 1994 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A Course in Number Theory and Cryptography / Neal Koblitz
| A Course in Number Theory and Cryptography / Neal Koblitz |
| Autore | Koblitz, Neal |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer, 1994 |
| Descrizione fisica | x, 235 p. : ill. ; 24 cm |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
11T71 Algebraic coding theory; cryptography [MSC 2020] |
| Soggetto non controllato |
Continued Fractions
Cryptography Finite fields Number theory Prime |
| ISBN |
03-87942-93-9
978-03-87942-93-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00030052 |
Koblitz, Neal
|
||
| New York, : Springer, 1994 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A Course in Number Theory and Cryptography / Neal Koblitz
| A Course in Number Theory and Cryptography / Neal Koblitz |
| Autore | Koblitz, Neal |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer, 1994 |
| Descrizione fisica | x, 235 p. : ill. ; 24 cm |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
11T71 Algebraic coding theory; cryptography [MSC 2020] |
| Soggetto non controllato |
Continued Fractions
Cryptography Finite fields Number theory Prime |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00292661 |
Koblitz, Neal
|
||
| New York, : Springer, 1994 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||