登入
選單
Google圖書搜尋
全部
書名
作者
出版社
主題
ISBN
上一頁
1 ~ 15 / 15
下一頁
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