Format:
Online-Ressource
ISBN:
9783540379447
Series Statement:
Lecture Notes in Computer Science 37
Additional Edition:
ISBN 9783540074168
Additional Edition:
Buchausg. u.d.T. [Lambda]-calculus and computer science theory Berlin : Springer, 1975 ISBN 3540074163
Additional Edition:
ISBN 0387074163
Language:
English
Subjects:
Computer Science
,
Economics
Keywords:
Programmiersprache
;
Kombinatorische Logik
;
Programmiersprache
;
Kombinatorische Logik
;
Logik
;
Lambda-Kalkül
;
Metamathematik
;
Konferenzschrift