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.
Axiomatic Projective Geometry / BY HEYTING A.
| Axiomatic Projective Geometry / BY HEYTING A. |
| Autore | Heyting, Arend |
| Pubbl/distr/stampa | [S.l.] : Noordhoff, S.D. |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001293810403321 |
Heyting, Arend
|
||
| [S.l.] : Noordhoff, S.D. | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Axiomatic Projective Geometry / By A. Heyting
| Axiomatic Projective Geometry / By A. Heyting |
| Autore | Heyting, Arend |
| Pubbl/distr/stampa | Groningen : Noordhoff, s.d |
| Disciplina | 513 |
| Collana | Bibliotheca Mathematica |
| Soggetto non controllato |
Geometria algebrica
Topologia Topologia algebrica Sistemi dinamici Frattali matematici |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001007800403321 |
|
Heyting, Arend
|
||
| Groningen : Noordhoff, s.d | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructivism in Mathematics : Proceedings of the Colloquium held at Amsterdam, 1957 / edited by A. Heyting
| Constructivism in Mathematics : Proceedings of the Colloquium held at Amsterdam, 1957 / edited by A. Heyting |
| Autore | Heyting, Arend |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1959 |
| Descrizione fisica | VIII, 297 p. ; 23 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001007760403321 |
|
Heyting, Arend
|
||
| Amsterdam : North-Holland, 1959 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructivity in Mathematics : Proceedings of the Colloquium held at Amsterdam from August 26 to 31, 1957 / Edited by A. Heyting
| Constructivity in Mathematics : Proceedings of the Colloquium held at Amsterdam from August 26 to 31, 1957 / Edited by A. Heyting |
| Autore | Constructivity in mathematics |
| Pubbl/distr/stampa | Amsterdam : North Holland, 1959 |
| Descrizione fisica | viii, 297 p. ; 24 cm |
| Disciplina | 511.3 |
| Soggetto non controllato | Logica e fondamenti |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990002560490403321 |
|
Constructivity in mathematics
|
||
| Amsterdam : North Holland, 1959 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fondements des Mathématiques Intuitionnisme Théorie de la Démonstration / DE HEYTING A
| Fondements des Mathématiques Intuitionnisme Théorie de la Démonstration / DE HEYTING A |
| Autore | Heyting, Arend |
| Pubbl/distr/stampa | Paris : Gauthier-Villars, 1955 |
| Collana | Collection de logique mathématique, Série A |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001293820403321 |
|
Heyting, Arend
|
||
| Paris : Gauthier-Villars, 1955 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intuitionism : an introduction / A. Heyting
| Intuitionism : an introduction / A. Heyting |
| Autore | Heyting, Arend |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1976 |
| Collana | Studies in logic and the foundations of mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001293840403321 |
|
Heyting, Arend
|
||
| Amsterdam [etc.] : North-Holland, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intuitionism : an introduction / A. Heyting
| Intuitionism : an introduction / A. Heyting |
| Autore | Heyting, Arend |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1971 |
| Descrizione fisica | VIII, 145 p. ; 23 cm |
| Collana | Studies in logic and the foundations of mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001293830403321 |
|
Heyting, Arend
|
||
| Amsterdam : North-Holland, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intuitionism : an introduction / A. Heyting
| Intuitionism : an introduction / A. Heyting |
| Autore | Heyting, Arend |
| Edizione | [2nd revised ed.] |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1966 |
| Descrizione fisica | VIII, 136 p. ; 23 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001007750403321 |
|
Heyting, Arend
|
||
| Amsterdam : North-Holland, 1966 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intuitionism : an intoduction / A. Heyting
| Intuitionism : an intoduction / A. Heyting |
| Autore | Heyting, Arend |
| Pubbl/distr/stampa | Amsterdam : North-Holland publishing company, 1956 |
| Descrizione fisica | VIII, 132 p. ; 22 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica matematica
Intuizione matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000012460403321 |
|
Heyting, Arend
|
||
| Amsterdam : North-Holland publishing company, 1956 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Les fondements des mathématiques : Intuitionnisme Théorie de la Démonstration / par A. Heyting
| Les fondements des mathématiques : Intuitionnisme Théorie de la Démonstration / par A. Heyting |
| Autore | Heyting, Arend |
| Pubbl/distr/stampa | Paris ; Louvain [etc.] : Gauthier-Villars : E. Nauwelaerts, 1955 |
| Descrizione fisica | 91 p. ; 25 cm |
| Disciplina | 519 |
| Collana | Collection de logique mathématique, Série A |
| Soggetto non controllato | Fondamenti delle scienze fisiche e naturali |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001007810403321 |
|
Heyting, Arend
|
||
| Paris ; Louvain [etc.] : Gauthier-Villars : E. Nauwelaerts, 1955 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
