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.

Biblioteca

MARC Lista (tabellare)
Axiomatic projective geometry / A. Heyting
Axiomatic projective geometry / A. Heyting
Autore Heyting, A.
Edizione [2. ed.]
Pubbl/distr/stampa Groningen : P. Noordhoff N. V.
Descrizione fisica 150 p. : ill. ; 23 cm.
Disciplina 516.5
Collana Bibliotheca mathematica
Soggetto topico Geometria proiettiva
ISBN 0-444-85431-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000016725
Heyting, A.  
Groningen : P. Noordhoff N. V.
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Axiomatic projective geometry / by A. Heyting
Axiomatic projective geometry / by A. Heyting
Autore Heyting, A.
Edizione [2d ed]
Pubbl/distr/stampa Groningen ; New York : P. Noordhoff, 1980
Descrizione fisica 150 p. : ill. ; 23 cm.
Disciplina 516.5
Collana Bibliotheca mathematica. A series of monographs on pure and applied mathematics ; 5
Soggetto topico Projective geometry
ISBN 0444854312
Classificazione AMS 51-01
AMS 51-XX
QA554
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000710069707536
Heyting, A.  
Groningen ; New York : P. Noordhoff, 1980
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Intuitionism : an introduction / A. Heyting
Intuitionism : an introduction / A. Heyting
Autore Heyting, A.
Edizione [[3rd rev. ed.]]
Pubbl/distr/stampa Amsterdam : North-Holland, 1971
Descrizione fisica viii, 147 p. ; 23 cm.
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics, ISSN 0049237X
Soggetto topico Intuitionistic mathematics
ISBN 0720422396
Classificazione AMS 03F55
QA9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001041029707536
Heyting, A.  
Amsterdam : North-Holland, 1971
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
L. E. J. Brouwer : collected works / edited by A. Heyting and Hans Freudenthal
L. E. J. Brouwer : collected works / edited by A. Heyting and Hans Freudenthal
Autore Brouwer, Luitzen Egbert Jan
Pubbl/distr/stampa Amsterdam : North-Holland, 1975/76
Descrizione fisica 2 v. ; 26 cm.
Disciplina 510
Altri autori (Persone) Freudenthal, Hans
Heyting, A.
Soggetto topico Collected works
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001055749707536
Brouwer, Luitzen Egbert Jan  
Amsterdam : North-Holland, 1975/76
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Mathematische grundlagenforschung Intuitionismus Beweistheorie / A. Heyting
Mathematische grundlagenforschung Intuitionismus Beweistheorie / A. Heyting
Autore Heyting, A.
Pubbl/distr/stampa Berlin : Springer-Verlag, 1934 (reprint 1974)
Descrizione fisica iv, 73 p. ; 24 cm
Disciplina 511.3
Collana Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge ; 4
Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 0071-1136 ; 4 = A series of modern surveys in mathematics, 0071-1136 ; 4
Soggetto topico Mathematical logic
Proof theory
Classificazione AMS 03-02
AMS 03F
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UNISALENTO-991001127119707536
Heyting, A.  
Berlin : Springer-Verlag, 1934 (reprint 1974)
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui