Soggetti all'interno della tua ricerca.
Mostra 1 - 6 risultati di 6 ricerca '', tempo di risposta: 0,01s Raffina i risultati
  1. 1
    The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 /
    Atti del Convegno Libro
    Pubblicazione 1982
    Aggiungi alla lista
    Salvato in:
  2. 2
    The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
    Atti del Convegno Libro
    Pubblicazione 1980
    Aggiungi alla lista
    Salvato in:
  3. 3
    Intensional mathematics /
    Libro
    Pubblicazione 1985
    Aggiungi alla lista
    Salvato in:
  4. 4
    Semantical investigations in Heyting's intuitionistic logic /
    Libro
    di Gabbay, Dov M., 1945-
    Pubblicazione 1981
    Aggiungi alla lista
    Salvato in:
  5. 5
    Projections of lawless sequences /
    Libro
    di Hoeven, G. F. van der
    Pubblicazione 1982
    Aggiungi alla lista
    Salvato in:
  6. 6
    Absoluteness of intuitionistic logic /
    Libro
    di Leivant, Daniel Maurice Raphaël
    Pubblicazione 1979
    Aggiungi alla lista
    Salvato in:
Strumenti per la ricerca: Feed RSS – Invia questa ricerca per email – Salva la ricerca