Studies in logic and the foundations of mathematics / L. E. J. Brouwer, E. W. Beth, A. Heyting (Eds.)
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Studies in logic and the foundations of mathematics / L. E. J. Brouwer, E. W. Beth, A. Heyting (Eds.)
|
| Pubblicazione: | Amsterdam : North-Holland publishing, 19.. |
| Descrizione fisica: | v. ; 24 cm |
| Disciplina: | 510 |
| Soggetto topico: | Matematica |
| Persona (resp. second.): | BROUWER, L. E. J. |
| BETH, E. W. | |
| HEYTING, A. | |
| Titolo autorizzato: | Studies in logic and the foundations of mathematics |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 990003345860203316 |
| Lo trovi qui: | Univ. di Salerno |
| Collocazione: | 510 SL/ |
| Opac: | Controlla la disponibilità qui |
Volumi nella collana:
Solvable cases of the decision problem
mostra tutte
A transfinite type theory with type variables
The lambda calculus its syntax and semantics
A deductive theory of space and time
Axiomatic set theory
Ancient formal logic
The collected papers of Gerhard Gentzen
Contributions to non-standard analysis
Model theory
Logic in algebraic form three languages and theories
Constructive order types
Combinatory logic
Outlines of a formalist philosophy of mathematics
Large infinitary languages
Dictionary of symbols of mathematical logic
Set theory an introduction to large cardinals
Intuitionistic logic model theory and forcing
Abstract set theory
Foundations of set theory
Generalized recursion theory proceedings of the 1972 Oslo symposium
| Biblioteca: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |