Books and Journals

Books

Journals

Advanced Search

Title

Exact Title Match Include Uniform Titles

Author

Include Alias Names

Author ID

Uniform Title ID

Publisher

ISBN

ISSN

NCID

Subject

Classification

Note

Format

Language

Year

from to

Library ID

Organization ID

Area

Remember Lib. ID / Org. ID / Area

Close

Martin-Löf, Per

ID:DA02493725

Alias Name

Löf, Per Martin-

Martin-Löf, P

Search authors sharing the same name

Search Results1-4 of 4

1

COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, proceedings

P. Martin-Löf, G. Mints (eds.)

Springer-Verlag c1990 Lecture notes in computer science 417

: gw , : us

Available at 57 libraries
2

Intuitionistic type theory

Per Martin-Löf

Bibliopolis c1984 Studies in proof theory : lecture notes 1

Available at 29 libraries
3

Notes on constructive mathematics

by Per Martin-Löf

Almqvist & Wiksell 1970

Available at 6 libraries
4

Algorithmen und zufällige Folgen : vier Vorträge von Per Martin-Löf, gehalten am Mathematischen Institut der Universität Erlangen-Nürnberg

Per Martin-Löf

Universität Erlangen-Nürnberg 1966

Available at 1 libraries

Search this author

Related Authors