Basic simple type theory /

Bibliographic Details
Main Author: Hindley, James Roger, 1939-
Format: Book
Language:English
Published: Cambridge, UK : Cambridge University, 1997.
Series:Cambridge tracts in theoretical computer science ; 42
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20160908122843.0
008 110630s1997 enk||||| |||| 00| 0 eng d
020 |a 0521465184 
040 |a AR_CdUFM  |c AR_CdUFM 
100 1 |9 7594  |a Hindley, James Roger,  |d 1939- 
245 1 0 |a Basic simple type theory /  |c J. Roger Hindley. 
260 |a Cambridge, UK :   |b Cambridge University,   |c 1997. 
300 |a ix, 186 p. :  |b il. ;  |c 24 cm. 
490 0 |a Cambridge tracts in theoretical computer science ;   |v 42 
650 4 |a Mathematical logic  
650 4 |a Formal languages. 
650 4 |a Lógica matemática. 
650 4 |a Lenguajes formales. 
942 |c LIBRO  |2   
945 |a MCR  |d 2011-06-30 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F4_H662  |7 0  |9 7748  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC/Comp.  |l 5  |m 1  |o C F4 H662   |p 14420  |r 2023-02-23  |s 2022-12-22  |w 2008-06-09  |y LIBRO 
999 |c 5904  |d 5904