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 |
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 |
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 Presentation 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 |
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 |
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 |
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 |
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 |
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 |
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-VAN00030052 |
Koblitz, Neal
![]() |
||
New York, : Springer, 1994 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
A course in number theory and cryptography / by Koblitz |
Autore | Koblitz, Neal |
Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, 1987 |
Collana | Graduate texts in mathematics |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001264200403321 |
Koblitz, Neal
![]() |
||
New York [etc.] : Springer-Verlag, 1987 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|