Lambda calculi : a guide for computer scientists /

Bibliographic Details
Main Author: Hankin, Chris, 1954-
Format: Book
Language:English
Published: Oxford : Oxford university, 1994.
Series:Graduate texts in computer science ; v. 3
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20160908122753.0
008 111130s1994 enk||||| |||| 00| 0 eng d
020 |a 0198538413 
040 |a AR_CdUFM  |c AR_CdUFM 
100 1 |9 7139  |a Hankin, Chris,  |d 1954- 
245 1 0 |a Lambda calculi :   |b a guide for computer scientists /  |c Chris Hankin. 
260 |a Oxford :   |b Oxford university,   |c 1994. 
300 |a xiii, 162 p. ;  |c 24 cm. 
490 0 |a Graduate texts in computer science ;   |v v. 3 
650 4 |a Lógica matemática-Computación. 
650 4 |a Mathematical Logic-Computation. 
942 |c LIBRO  |2   
945 |a MCR  |d 2011-11-30 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F41_H241  |7 0  |9 7293  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC97  |l 1  |o C F4.1 H241   |p 14018  |r 2023-01-24 00:00:00  |s 2017-07-04  |w 2008-06-09  |y LIBRO 
999 |c 5511  |d 5511