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.
Pubbl/distr/stampa groningen : P. Noordhoff, 1963
Descrizione fisica 148 p. : ill. ; 24 cm
Disciplina 516.5
Collana Bibliotheca mathematica
Soggetto topico Geometria proiettiva
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003247860203316
HEYTING, A.  
groningen : P. Noordhoff, 1963
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Axiomatic set theory / Paul Bernays ; A. Heyting...[et al.] (Eds.)
Axiomatic set theory / Paul Bernays ; A. Heyting...[et al.] (Eds.)
Autore BERNAYS, Paul
Pubbl/distr/stampa Amsterdam : North-Holland, 1968
Descrizione fisica VIII, 227 p. : ill. ; 23 cm
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003228650203316
BERNAYS, Paul  
Amsterdam : North-Holland, 1968
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Collected works / L.E.J. Brouwer ; edited by A. Heyting
Collected works / L.E.J. Brouwer ; edited by A. Heyting
Autore BROUWER, L.E.J.
Pubbl/distr/stampa Amsterdam : North Holland, 19.
Descrizione fisica 2 v. : ill. ; 26 cm
Disciplina 510.1
Soggetto topico Matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003233790203316
BROUWER, L.E.J.  
Amsterdam : North Holland, 19.
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Combinatory logic / Haskell B. Curry...[et. al] ; A. Heyting...[et al.] (Eds.)
Combinatory logic / Haskell B. Curry...[et. al] ; A. Heyting...[et al.] (Eds.)
Autore HASKELL, B. Curry
Pubbl/distr/stampa Amsterdam : North-Holland, 1972-74
Descrizione fisica v. : ill. ; 23 cm
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto <> XVIII, 417 p. - <> XIV, 520 p.
Record Nr. UNISA-990003228810203316
HASKELL, B. Curry  
Amsterdam : North-Holland, 1972-74
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Constructive order types / John N. Crossley ; A. Heyting...[et al.] (Eds.)
Constructive order types / John N. Crossley ; A. Heyting...[et al.] (Eds.)
Autore CROSSLEY, John N.
Pubbl/distr/stampa Amsterdam : North-Holland, 1969
Descrizione fisica 225 p. : ill. ; 23 cm
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003228780203316
CROSSLEY, John N.  
Amsterdam : North-Holland, 1969
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Dictionary of symbols of mathematical logic / edited by Robert Feys and Frederic B. Fitch ; A. Heyting...[et al.] (Eds.)
Dictionary of symbols of mathematical logic / edited by Robert Feys and Frederic B. Fitch ; A. Heyting...[et al.] (Eds.)
Pubbl/distr/stampa Amsterdam : North-Holland, 1973
Descrizione fisica XIV, 171 p. : ill. ; 23 cm
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics
Soggetto topico Logica matematica
ISBN 0-7204-2250-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003228870203316
Amsterdam : North-Holland, 1973
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Foundations of set theory / Abraham A. Fraenkel ; A. Heyting...[et al.] (Eds.)
Foundations of set theory / Abraham A. Fraenkel ; A. Heyting...[et al.] (Eds.)
Autore FRAENKEL, Abraham A.
Edizione [second revised edition]
Pubbl/distr/stampa Amsterdam : North-Holland, 1984
Descrizione fisica X, 404 p. : ill. ; 23 cm
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics
Soggetto topico Logica matematica
ISBN 0-7204-2270-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003228940203316
FRAENKEL, Abraham A.  
Amsterdam : North-Holland, 1984
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Intuitionism : an introduction / A. Heyting
Intuitionism : an introduction / A. Heyting
Autore HEYTING, A.
Pubbl/distr/stampa Amsterdam : North-Holland, 1971
Descrizione fisica VIII, 145 p. : ill. ; 23 cm
Disciplina 512
Collana Studies in logic and the foundations of mathematics
Soggetto topico Algebra
ISBN 7204-2239-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003229110203316
HEYTING, A.  
Amsterdam : North-Holland, 1971
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Intuitionistic logic model theory and forcing / Melvin Chris Fitting ; A. Heyting...[et al.] (Eds.)
Intuitionistic logic model theory and forcing / Melvin Chris Fitting ; A. Heyting...[et al.] (Eds.)
Autore FITTING, Melvin Chris
Pubbl/distr/stampa Amsterdam : North-Holland, 1969
Descrizione fisica 191 p. : ill. ; 23 cm
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics
Soggetto topico Logica matematica
ISBN 7204-2256-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003228920203316
FITTING, Melvin Chris  
Amsterdam : North-Holland, 1969
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Logic in algebraic form : three languages and theories / William Craig ; A. Heyting...[et al.] (Eds.)
Logic in algebraic form : three languages and theories / William Craig ; A. Heyting...[et al.] (Eds.)
Autore CRAIG, William
Pubbl/distr/stampa Amsterdam : North-Holland, 1974
Descrizione fisica VIII, 203 p. : ill. ; 23 cm
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics
Soggetto topico Logica matematica
ISBN 0-7204-2272-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003228760203316
CRAIG, William  
Amsterdam : North-Holland, 1974
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui