登入選單
Google圖書搜尋
Lambda Calculus with Types
作者
Hendrik Pieter Barendregt / Wil Dekkers / Richard Statman
出版Cambridge University Press, 2013-06-20
ISBN
9780521766142 / 0521766141
主題
Mathematics
Types for Proofs and Programs
作者
Hendrik Pieter Barendregt / Tobias Nipkow
出版Springer Science & Business Media, 1994-05-20
ISBN
3540580859 / 9783540580850
主題
Computers
Some Extensional Term Models for Combinatory Logic...
作者
Hendrik Pieter Barendregt
出版1971
ISBN
UCAL:B2687699
主題
Combinatory logic
The Lambda Calculus
作者
Hendrik Pieter Barendregt
出版North Holland, 1981
ISBN
STANFORD:36105032664604
主題
Mathematics
Geschiedenis van Rotterdam
作者
Hendrik Cornelis Hazewinkel
出版1940
ISBN
UOM:39015032642517
主題
Rotterdam (Netherlands)
De briefwisseling tussen P.N. van Eyck en H. Marsm...
作者
Pieter Nicolaas van Eyck / Hendrik Marsman
出版1968
ISBN
UOM:39015066226377
Bibliografie betreffende den Bijbel, den Godsdiens...
作者
Pieter Hendrik Muller
出版1935
ISBN
STANFORD:36105041688719
主題
Church history
Groot woordenboek der nederlandsche taal
作者
Johan Hendrik Dale
出版1904
ISBN
IND:30000132005723
主題
Dutch language
Van Dale's groot woordenboek der Nederlandsche taa...
作者
Johan Hendrik Dale
出版1904
ISBN
COLUMBIA:CU50230492
主題
Dutch language
De Nederlandse tijger
作者
Coen Brummer
出版2019
ISBN
9087047819 / 9789087047818
Lambda Calculus with Types
作者
Hendrik Pieter Barendregt / Wil Dekkers / Richard Statman
出版Cambridge University Press, 2013-06-20
ISBN
9780521766142 / 0521766141
主題
Mathematics
Types for Proofs and Programs
作者
Hendrik P. Barendregt / Tobias Nipkow
出版1994
ISBN
0387580859 / 9780387580852
主題
Automatic theorem proving
The Lambda Calculus
作者
Hendrik Pieter Barendregt
出版North Holland, 1981
ISBN
STANFORD:36105032664604
主題
Mathematics
The Incompleteness Theorems
作者
Hendrik Pieter Barendregt
出版1976
ISBN
OCLC:2842662
主題
Incompleteness theorems
A Lambda Calculus Satellite
作者
Henk Barendregt / Giulio Manzonetto
出版2022-10-05
ISBN
1848904150 / 9781848904156