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 constructive algebra / Ray Mines, Fred Richman, Wim Ruitenburg
| A course in constructive algebra / Ray Mines, Fred Richman, Wim Ruitenburg |
| Autore | Mines, Ray |
| Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, 1988 |
| Disciplina | 512 |
| Altri autori (Persone) |
Richman, Fred
Ruitenburg, Wim |
| Collana | Universitext |
| Soggetto non controllato |
Algebra
Teoria delle equazioni Calcolo vettoriale |
| ISBN | 0-387-96640-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001111110403321 |
Mines, Ray
|
||
| New York [etc.] : Springer-Verlag, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A Course in Constructive Algebra / Ray Mines, Fred Richman, Wim Ruitenburg
| A Course in Constructive Algebra / Ray Mines, Fred Richman, Wim Ruitenburg |
| Autore | Mines, Ray |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1988 |
| Descrizione fisica | xi, 344 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Richman, Fred
Ruitenburg, Wim |
| Soggetto topico |
13-XX - Commutative algebra [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03F65 - Other constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Algebra
Fields Galois theory Matrices Matrix Transformation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268998 |
|
Mines, Ray
|
||
| New York, : Springer-Verlag, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Constructive mathematics : Proceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by Fred Richman
| Constructive mathematics : Proceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by Fred Richman |
| Autore | Richman, Fred |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1981 |
| Descrizione fisica | VI, 347 p. ; 24 cm |
| Disciplina | 519 |
| Collana | Lecture Notes in Mathematics |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| ISBN | 3-540-10850-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001023000403321 |
|
Richman, Fred
|
||
| Berlin [etc.] : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman
| Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman |
| Autore | Richman, Fred |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1981 |
| Descrizione fisica | vi, 347 p. ; 25 cm. |
| Disciplina |
510
511.3 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 873 |
| Soggetto topico |
Constructive mathematics - Congresses
Intuitionistic mathematics - Congresses Mathematical logic and foundations - Congresses Proof theory - Congresses |
| ISBN | 3540108505 |
| Classificazione |
AMS 03-06
AMS 03-XX AMS 03F |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000784719707536 |
|
Richman, Fred
|
||
| Berlin : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Constructive mathematics : proceedings of the New Mexico State University Conference held al Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman
| Constructive mathematics : proceedings of the New Mexico State University Conference held al Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1981 |
| Descrizione fisica | VI, 347 p. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Logica matematica - Congressi |
| ISBN | 3-540-10850-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000014406 |
| Berlin [etc.] : Springer, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Constructive mathematics [e-book] : proceedings of the New Mexico State university conference held at Las Cruces, New Mexico, August 11–15, 1980 / edited by Fred Richman
| Constructive mathematics [e-book] : proceedings of the New Mexico State university conference held at Las Cruces, New Mexico, August 11–15, 1980 / edited by Fred Richman |
| Pubbl/distr/stampa | Berlin : Springer, 1981 |
| Descrizione fisica | 1 online resource (vii, 347 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) | Richman, Fred |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 873 |
| Soggetto topico |
Mathematics
Logic, Symbolic and mathematical |
| ISBN | 9783540387596 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002196839707536 |
| Berlin : Springer, 1981 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980 / edited by Fred Richman
| Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980 / edited by Fred Richman |
| Pubbl/distr/stampa | Berlin, : Springer, 1981 |
| Descrizione fisica | x, 350 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Algebra
Calculation Constructive mathematics Finite Mathematics Ordinals Recursion Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261785 |
| Berlin, : Springer, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Numbers and symmetry : an intoduction to algebra / Bernard L. Johnston, Frad Richman
| Numbers and symmetry : an intoduction to algebra / Bernard L. Johnston, Frad Richman |
| Autore | Johnston, Bernard L. |
| Pubbl/distr/stampa | Boca Raton [etc.] : CRC Press, copyr. 1997 |
| Descrizione fisica | 260 p. : ill. ; 24 cm |
| Disciplina | 51202 |
| Soggetto non controllato | algebra |
| ISBN | 0-8493-0301-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000261510203316 |
|
Johnston, Bernard L.
|
||
| Boca Raton [etc.] : CRC Press, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Varieties of constructive mathematics / Douglas Bridges, Fred Richman
| Varieties of constructive mathematics / Douglas Bridges, Fred Richman |
| Autore | Bridges, Douglas |
| Pubbl/distr/stampa | Cambridge [etc.] : Cambridge University Press, 1988 |
| Descrizione fisica | X, 149 p. : ill. ; 23 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Richman, Fred |
| Collana | London Mathematical Society Lecture Note Series |
| Soggetto topico | Logica matematica |
| ISBN | 0-521-31802-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000015707 |
|
Bridges, Douglas
|
||
| Cambridge [etc.] : Cambridge University Press, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Varieties of constructive mathematics / Douglas Bridges, Fred Richman
| Varieties of constructive mathematics / Douglas Bridges, Fred Richman |
| Autore | Bridges, Douglas S. <1945- > |
| Pubbl/distr/stampa | Cambridge [etc.] : Cambridge University Press, 1987 |
| Descrizione fisica | x, 149 p. ; 23 cm |
| Disciplina | 519 |
| Collana | London Mathematical Society lecture note series |
| Soggetto non controllato | Fondamenti della logica matematica e probabilità |
| ISBN | 0-521-31802-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001034890403321 |
|
Bridges, Douglas S. <1945- >
|
||
| Cambridge [etc.] : Cambridge University Press, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
