Heyting, Arend

Intuitionism : an introduction

Amsterdam : North Holland, 1966
Abstract/Sommario: Disputation - Arithmetic - Spreads and species - Algebra - Plane pointspecies - Measure and integration - Logic - Controversial subjects.
Copie: 1
Prestiti: 0
Prenotazioni: 0
Campo Valore
Descrizione Intuitionism : an introduction / A. Heyting. - 2. rev. ed. - Amsterdam : North Holland, 1966. - VIII, 136 p. ; 23 cm. - (Studies in logic and the foundations of mathematics)
Collezione
Numeri
  • ISBN: 0720422639
Autori
Chiavi
Luogo di pubblicazione
Editore
Categorie
Paese
Lingua
ID scheda 44480
Biblioteca Inv. Ubi. Collocazione Prestabilità Stato Prenotazioni
Biblio Conf 0095577 Biblioteca LC / 966 / 19 Ammesso al prestito A scaffale Nessuna
Estendi la ricerca dell'opera
Estendi la ricerca degli autori
Heyting, Arend