The lambda calculus: its syntax and semantics /

Saved in:
Bibliographic Details
Main Author: Barendregt, H. P. (Hendrik Pieter)
Format: Book
Language:English
Published: Amsterdam : North-Holland Pub. Co., 1984.
Edition:Revised edition
Series:Studies in logic and the foundations of mathematics ; v.103
Subjects:
Lambda calculus.
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000nam a2200000u 4500
001 00821608
003 PWmBRO
005 20240602101808.0
008 890403s19841981ne a b 00110 eng
010 |a  88900745  
020 |a 0444867481  
050 0 |a QA9.5  |b .B36 
082 0 |a 511.3�19 
090 |a 511.3/B248L/1984 
100 1 0 |a Barendregt, H. P.  |q (Hendrik Pieter) 
245 1 4 |a The lambda calculus:  |b its syntax and semantics /  |c H.P. Barendregt. 
250 |a Revised edition 
260 0 |a Amsterdam :  |b North-Holland Pub. Co.,  |c 1984. 
300 |a xv, 621 p. :  |b ill. 
440 0 |a Studies in logic and the foundations of mathematics ;  |v v.103  
650 0 |a Lambda calculus. 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |6 511_300000000000000_B248L_1984  |7 0  |8 MN  |9 65603  |a ML015  |b ML015  |c MN  |d 2024-06-02  |l 0  |o 511.3 B248L 1984  |p 068858  |r 2018-03-24 00:00:00  |w 2018-03-24  |y BK 
994 0 1 |a T1001 068 858 
999 |c 48229  |d 48229 

Similar Items