top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
Espandi
Riduci
Questo autore in
Wikipedia
Wikipedia
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Martin-Löf, Per <1942- >
ID:
346821
Opere
Altre forme del nome
Martin-Löf, Per <1942- >
Martin-Löf, Per
Martin-Löf, Per, 1942-
Per Martin-Löf svensk matematiker
Löf, Per Martin <1942- >
MARTIN-LÖF Per
Seleziona tutte
Deseleziona
Intuitionistic type theory
...
Notes on constructive mathematics
...