Info
1.: Fundamental Problems, Ideas and Theories / A. N. Parshin, I. R. Shafarevich (Eds.)
| 1.: Fundamental Problems, Ideas and Theories / A. N. Parshin, I. R. Shafarevich (Eds.) |
| Pubbl/distr/stampa | Berlin, : Springer, 1995 |
| Descrizione fisica | 303 p. : ill. ; 25 cm |
| Soggetto topico |
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
11-XX - Number theory [MSC 2020] |
| Soggetto non controllato |
Arakelov geometry
Arithmetic of algebraic numbers Diophantine Equations Elliptic curves Langlands program Logic Modular forms Non-commutative Geometry Number theory Public key cryptosystems Zeta functions |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00294145 |
| Berlin, : Springer, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1: Introduction, Edition, and Translation
| 1: Introduction, Edition, and Translation |
| Autore | Al-Tusi, Nasir al-Din Muhammad ibn Muhammad <1201-1274> |
| Pubbl/distr/stampa | New York, : Springer, 1993 |
| Descrizione fisica | xiii, 371 p. : ill. ; 24 cm |
| Soggetto topico | 01-XX - History and biography [MSC 2020] |
| Soggetto non controllato |
Astronomy
Cosmology Logic Mathematics Proofs |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
ara
eng |
| Record Nr. | UNICAMPANIA-VAN00053123 |
Al-Tusi, Nasir al-Din Muhammad ibn Muhammad <1201-1274>
|
||
| New York, : Springer, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1: Introduction, Edition, and Translation
| 1: Introduction, Edition, and Translation |
| Autore | Al-Tusi, Nasir al-Din Muhammad ibn Muhammad <1201-1274> |
| Pubbl/distr/stampa | New York, : Springer, 1993 |
| Descrizione fisica | xiii, 371 p. : ill. ; 24 cm |
| Soggetto topico | 01-XX - History and biography [MSC 2020] |
| Soggetto non controllato |
Astronomy
Cosmology Logic Mathematics Proofs |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
ara
eng |
| Record Nr. | UNICAMPANIA-VAN00291761 |
|
Al-Tusi, Nasir al-Din Muhammad ibn Muhammad <1201-1274>
|
||
| New York, : Springer, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1: Theoretical Foundations / Leonard Bolc, Piotr Borowik
| 1: Theoretical Foundations / Leonard Bolc, Piotr Borowik |
| Autore | Bolc, Leonard |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer-Verlag, 1992 |
| Descrizione fisica | xii, 292 p. : ill. ; 24 cm |
| Altri autori (Persone) | Borowik, Piotr |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B48 - Probability and inductive logic [MSC 2020] 03B50 - Many-valued logic [MSC 2020] 03B52 - Fuzzy logic; logic of vagueness [MSC 2020] 03B60 - Other nonclassical logic [MSC 2020] |
| Soggetto non controllato |
Approximation Logic
Fuzzy Logic Intuitionistic Logic Logic Many-valued Logic Philosophical Logic Probability Logic Propositional calculus |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00289472 |
|
Bolc, Leonard
|
||
| Berlin ; Heidelberg, : Springer-Verlag, 1992 | ||
| Materiale a stampa | ||
| 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 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 | ||
| Materiale a stampa | ||
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A Proof Theory for General Unification / Wayne Snyder
| A Proof Theory for General Unification / Wayne Snyder |
| Autore | Snyder, Wayne |
| Pubbl/distr/stampa | Boston, : Birkhäuser, : Springer, 1991 |
| Descrizione fisica | vii, 178 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B35 - Mechanization of proofs and logical operations [MSC 2020] 03C05 - Equational classes, universal algebra in model theory [MSC 2020] 68-XX - Computer science [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] |
| Soggetto non controllato |
Algebra
Logic Proof Theory Proofs |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00287862 |
|
Snyder, Wayne
|
||
| Boston, : Birkhäuser, : Springer, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A Textbook of Belief Dynamics : Solutions to exercises / by Sven Ove Hansson
| A Textbook of Belief Dynamics : Solutions to exercises / by Sven Ove Hansson |
| Autore | Hansson, Sven-Ove |
| Pubbl/distr/stampa | Dordrecht, : Springer, : Kluwer, 1999 |
| Descrizione fisica | 65 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
68Txx - Artificial intelligence [MSC 2020] |
| Soggetto non controllato |
Database
Formal language Knowledge Knowledge representation Logic Nonmonotonic reasoning Reason |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00299908 |
|
Hansson, Sven-Ove
|
||
| Dordrecht, : Springer, : Kluwer, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Advances in Intensional Logic / edied by Maarten de Rijke
| Advances in Intensional Logic / edied by Maarten de Rijke |
| Pubbl/distr/stampa | Dordrecht, : Springer, : Kluwer, 1997 |
| Descrizione fisica | xiv, 291 p. ; 24 cm |
| Soggetto topico |
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03B80 - Other applications of logic [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Intelligence Linguistics Logic Modal Logic Proof Theory Syntax |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00297553 |
| Dordrecht, : Springer, : Kluwer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algebraic Structures / George R. Kempf
| Algebraic Structures / George R. Kempf |
| Autore | Kempf, George R. |
| Pubbl/distr/stampa | Braunschweig, : Vieweg, 1995 |
| Descrizione fisica | ix, 165 p. : 24 cm |
| Soggetto topico |
00A05 - Mathematics in general [MSC 2020]
13-XX - Commutative algebra [MSC 2020] 15A27 - Commutativity of matrices [MSC 2020] 15A69 - Multilinear algebra, tensor calculus [MSC 2020] 15A75 - Exterior algebra, Grassmann algebras [MSC 2020] 16-XX - Associative rings and algebras [MSC 2020] 18-XX - Category theory; homological algebra [MSC 2020] 20-XX - Group theory and generalizations [MSC 2020] |
| Soggetto non controllato |
Algebra
Algebraic structures Field theory Group Theory algebra Logic Modern Linear Algebra Modules |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00295497 |
|
Kempf, George R.
|
||
| Braunschweig, : Vieweg, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
