top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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-b10756899
Richman, Fred  
Berlin : Springer-Verlag, 1981
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
Constructive mathematics [electronic resource] : proceedings of the New Mexico State university conference held at Las Cruces, New Mexico, August 11–15, 1980 / edited by Fred Richman
Constructive mathematics [electronic resource] : 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-b14136326
Berlin : Springer, 1981
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
Varieties of constructive mathematics / Douglas Bridges, Fred Richman
Varieties of constructive mathematics / Douglas Bridges, Fred Richman
Autore Bridges, Douglas S.
Pubbl/distr/stampa Cambridge, : Cambridge university, 1987
Descrizione fisica X, 149 p. ; 23 cm.
Altri autori (Persone) Richman, Fred
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03F50 - Metamathematics of constructive systems [MSC 2020]
03F65 - Other constructive mathematics [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020]
ISBN 978-05-213-1802-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0053445
Bridges, Douglas S.  
Cambridge, : Cambridge university, 1987
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui