The Library of Congress > LCCN Permalink

View this record in:  MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)External Link

Martin-Löf, Per, 1942-

LC control no.n 86081083
Personal name headingMartin-Löf, Per, 1942-
    Browse this term in  LC Authorities  or the  LC Catalog
Variant(s)Löf, Per Martin-, 1942-
Martin-Löf, P. (Per), 1942-
Found inHis Intuitionistic type theory, 1984: t.p. (Per Martin-Löf)
LC in RLIN, 1-23-87 (hdg.: Martin-Löf, Per, 1942-)
Int'l Conf. COLOG-88 (1988 : Tallinn, Estonia). Computer logic, c1990: CIP t.p. (P. Martin-Löf)