Ricerca: Collezione = Studies in logic and the foundations of mathematics
Risultati: 1-7 di 7
 
| | |
 
Heyting, Arend
Intuitionism : an introduction / A. Heyting
Amsterdam : North-Holland, 1956
Monografia - Testo a stampa [MIL0031796]
Mathematical interpretation of formal systems / Th. Skolem ... [et al.]
Amsterdam : North-Holland, 1955
Monografia - Testo a stampa [PUV0036807]
Bernays, Paul <1888-1977>
Axiomatic set theory / Paul Bernays ; with a historical introduction by Abraham A. Fraenkel
Amsterdam : North-Holland, 1958
Monografia - Testo a stampa [PUV0037562]
Fraenkel, Abraham A.
Foundations of set theory / Abraham A. Fraenkel and Yehoshua Bar-Hillel
Amsterdam : North-Holland, 1958
Monografia - Testo a stampa [PUV0037568]
Andrews, Peter Bruce
A transfinite type theory with type variables / by P. B. Andrews
Amsterdam : North-Holland Publishing Co., 1965
Monografia - Testo a stampa [SBL0125525]
Logic Colloquium [8 ; 1963 ; Oxford]
Formal systems and recursive functions : proceedings of the eighth Logic colloquium, Oxford, July 1963 / edited by J. N. Crossley and M. A. E. Dummett
Amsterdam : North-Holland, 1965
Monografia - Testo a stampa [SBL0208256]
Curry, Haskell Brooks
Outlines of a formalist philosophy of mathematics / Haskell B. Curry
Amsterdam : North-Holland, 1951
Monografia - Testo a stampa [TO00367258]

Filtri

  • Biblioteca
    • Biblioteca centrale della regione siciliana (7)
  • Autore
  • Soggetto
  • Collezione
    • studies in logic and the foundations of mathematics (7)
  • Titolo uniforme
  • Luogo di pubblicazione
    • amsterdam (7)
  • Editore
  • Codice Dewey
  • Anno di pubblicazione
  • Livello bibliografico
    • monografia (7)
  • Tipo di documento
    • testo a stampa (7)
  • Lingua
    • inglese (7)
  • Paese
    • paesi bassi (7)
| | |
Risultati: 1-7 di 7