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.
Algebraic set theory / A. Joyal, I. Moerdijk
| Algebraic set theory / A. Joyal, I. Moerdijk |
| Autore | Joyal, André |
| Pubbl/distr/stampa | Cambridge ; New York : Cambridge University Press, 1995 |
| Descrizione fisica | viii, 123 p. ; 23 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Moerdijk, Ieke |
| Collana | London Mathematical Society lecture note series, 0076-0552 ; 220 |
| Soggetto topico | Set theory |
| ISBN | 0521558301 |
| Classificazione |
AMS 03C90
AMS 03E70 AMS 03F55 AMS 03G25 QA248.J69 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000661769707536 |
Joyal, André
|
||
| Cambridge ; New York : Cambridge University Press, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra
| Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra |
| Autore | Troelstra, A. S. |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1977 |
| Descrizione fisica | ix, 170 p. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Oxford logic guides |
| Soggetto topico |
Intuitionistic mathematics
Many-valued logic Sequences |
| ISBN | 019853163X |
| Classificazione |
AMS 03B50
AMS 03F55 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000741689707536 |
|
Troelstra, A. S.
|
||
| Oxford : Clarendon Press, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Foundations of constructive mathematics : mathematical studies / Michael J. Beeson
| Foundations of constructive mathematics : mathematical studies / Michael J. Beeson |
| Autore | Beeson, Michael J. |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1985 |
| Descrizione fisica | xxiii, 466 p. ; 24 cm. |
| Disciplina | 511.3 |
| Soggetto topico | Constructive mathematics |
| ISBN | 3540121730 |
| Classificazione |
AMS 03F
AMS 03F50 AMS 03F55 AMS 03F60 AMS 03F65 QA9.56.B44 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000904979707536 |
|
Beeson, Michael J.
|
||
| Berlin : Springer-Verlag, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Geometria intuitiva / Emma Castelnuovo
| Geometria intuitiva / Emma Castelnuovo |
| Autore | Castelnuovo, Emma |
| Edizione | [3. ed., 3. ristampa] |
| Pubbl/distr/stampa | Firenze : La nuova Italia, 1962 |
| Descrizione fisica | xi, 330 p., 20 p. di tav. : 497 ill. ; 22 cm. |
| Disciplina | 511.3 |
| Soggetto topico | Intuitionistic mathematics |
| Classificazione | AMS 03F55 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000937369707536 |
|
Castelnuovo, Emma
|
||
| Firenze : La nuova Italia, 1962 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
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 | ||
| ||
Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N. Y., 1968 / edited by A. Kino, J. Myhill and R. E. Vesley
| Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N. Y., 1968 / edited by A. Kino, J. Myhill and R. E. Vesley |
| Autore | Conference on intuitionism and proof theory <1968 ; Buffalo> |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1970 |
| Descrizione fisica | viii, 516 p. ; 23 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Kino, Akiko
Myhill, John Vesley, Richard Eugene |
| Altri autori (Enti) |
State University of New York |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 90 |
| Soggetto topico |
Intuitionistic mathematics - Congresses
Logic - Congresses Proof theory - Congresses |
| Classificazione |
AMS 03-06
AMS 03F03 AMS 03F55 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001041079707536 |
|
Conference on intuitionism and proof theory <1968 ; Buffalo>
|
||
| Amsterdam : North-Holland, 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. Troelstra (ed.)
| Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. Troelstra (ed.) |
| Autore | Troelstra, A. S. |
| Pubbl/distr/stampa | Berlin ; Heidelberg ; New York : Springer-Verlag, 1973 |
| Descrizione fisica | xvii, 486 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 344 |
| Soggetto topico |
Intuitionistic mathematics
Model theory Proof theory |
| ISBN | 3540064915 |
| Classificazione | AMS 03F55 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001135329707536 |
|
Troelstra, A. S.
|
||
| Berlin ; Heidelberg ; New York : Springer-Verlag, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Principles of intuitionism : lectures presented at the summer conference on Intuitionism and Prof theory (1968) at SUNY at Buffalo, N. Y. / A. S. Troelstra
| Principles of intuitionism : lectures presented at the summer conference on Intuitionism and Prof theory (1968) at SUNY at Buffalo, N. Y. / A. S. Troelstra |
| Autore | Troelstra, A. S. |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1969 |
| Descrizione fisica | 111 p. ; 29 cm |
| Collana | Lecture notes in mathematics, 0075-8434 ; 95 |
| Soggetto topico | Intuitionistic mathematics - Congresses |
| Classificazione | AMS 03F55 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001241479707536 |
|
Troelstra, A. S.
|
||
| Berlin : Springer-Verlag, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||