ID:DA01846885
Barendregt, Hendrik Pieter
Barendregt, Henk P
Barendregt, Henk
Search authors sharing the same name
Henk Barendregt, Giulio Manzonetto
College Publications c2022 Studies in logic / series editor, Dov Gabbay v. 94 . Mathematical logic and foundations
Available at 1 libraries
Henk Barendregt, Wil Dekkers, Richard Statman
Association for Symbolic Logic , Cambridge University Press 2013 Perspectives in logic
Available at 18 libraries
Henk P. Barendregt
College Publications c2012 Studies in logic / series editor, Dov Gabbay v. 40
Available at 12 libraries
Henk Barendregt, Tobias Nipkow, (eds.)
Springer-Verlag c1994 Lecture notes in computer science 806
: gw , : us
Available at 62 libraries
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
Available at 8 libraries
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
Available at 77 libraries
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
Available at 4 libraries
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
Available at 54 libraries
Henk Barendregt
Mathematical Institute, Rijksuniversiteit Utrecht 1976 Communications of the Mathematical Institute 4