ID:DA02493725
Löf, Per Martin-
Martin-Löf, P
同姓同名の著者を検索
P. Martin-Löf, G. Mints (eds.)
Springer-Verlag c1990 Lecture notes in computer science 417
: gw , : us
所蔵館59館
Per Martin-Löf
Bibliopolis c1984 Studies in proof theory : lecture notes 1
所蔵館29館
by Per Martin-Löf
Almqvist & Wiksell 1970
所蔵館6館
Universität Erlangen-Nürnberg 1966
所蔵館1館