ID:DA01846885
Barendregt, Hendrik Pieter
Barendregt, Henk P
Barendregt, Henk
同姓同名の著者を検索
Henk Barendregt, Giulio Manzonetto
College Publications c2022 Studies in logic / series editor, Dov Gabbay v. 94 . Mathematical logic and foundations
: pbk.
所蔵館1館
Henk Barendregt, Wil Dekkers, Richard Statman
Association for Symbolic Logic , Cambridge University Press 2013 Perspectives in logic
所蔵館18館
Henk P. Barendregt
College Publications c2012 Studies in logic / series editor, Dov Gabbay v. 40
所蔵館12館
Henk Barendregt, Tobias Nipkow, (eds.)
Springer-Verlag c1994 Lecture notes in computer science 806
: gw , : us
所蔵館62館
H.P. Barendregt
North-Holland Pub. Co. , sole distributors for the U.S.A. and Canada Elsevier Science, 1985 Revised ed Studies in logic and the foundations of mathematics v. 103
pbk
所蔵館8館
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. 1984 Rev. ed. Studies in logic and the foundations of mathematics v. 103
: pbk
所蔵館77館
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1984 Revised edition Studies in logic and the foundations of mathematics v. 103
所蔵館4館
North-Holland Pub. , sole distributors for the U.S.A. and Canada Elsevier North-Holland 1981 Studies in logic and the foundations of mathematics v. 103
所蔵館54館
Henk Barendregt
Mathematical Institute, Rijksuniversiteit Utrecht 1976 Communications of the Mathematical Institute 4