Logic and computation /

Bibliographic Details
Corporate Author: Workshop on Logic and Computation Carnegie Mellon University
Other Authors: Sieg, Wilfried, 1945- (ed.)
Format: Conference Proceeding Book
Language:English
Published: Providence : American Mathematical Society, 1990.
Series:Contemporary mathematics ; v. 106
CONM ; v. 106
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20160908122555.0
008 120326s1990 riu||||| |||| 00| 0 eng d
020 |a 0821851101 
040 |a AR_CdUFM 
111 2 |a Workshop on Logic and Computation   |d (1987 :   |c Carnegie Mellon University) 
245 1 0 |a Logic and computation /   |c ed. Wilfried Sieg. 
260 |a Providence :   |b American Mathematical Society,   |c 1990. 
300 |a xiv, 295 p. :  |b il. ;  |c 25 cm. 
490 0 |a Contemporary mathematics ;   |v v. 106 
490 0 |a CONM ;  |v v. 106 
590 |a Ver Colección AMS. Contemporary mathematics.  
650 4 |a Lógica matemática. 
650 4 |a Computación. 
700 1 |9 15970  |a Sieg, Wilfried,   |e ed.  |d 1945-, 
942 |c LIBRO  |2 MSC 
945 |a AB 
945 |a 2012-03-26 
952 |0 0  |1 0  |2    |4 0  |6 AMS_000000000000000_CONM_V__10  |7 0  |9 6305  |a MMA  |b MMA  |c 91  |d 2008-06-09  |e FOMEC  |l 0  |o AMS CONM v. 106  |p 13158  |r 2008-06-09 00:00:00  |w 2008-06-09  |y LIBRO  |z Ver Colección AMS. Contemporary mathematics. 
999 |c 4759  |d 4759