Finite model theory and computational complexity /

Bibliographic Details
Main Author: Caicedo, Xavier
Format: Book
Language:Spanish
Published: Bogotá, Colombia : Universidad de los Andes. Departamento de Matemática, 1995.
Series:Apuntes de matemática ; 32
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20160614173938.0
008 160614b1995 ck ||||| |||| 00| 0 spa d
040 |a AR_CdUFM  |c AR_CdUFM 
100 1 |a Caicedo, Xavier 
245 1 0 |a Finite model theory and computational complexity /  |c Xavier Caicedo. 
260 |a Bogotá, Colombia :   |b Universidad de los Andes. Departamento de Matemática,  |c 1995. 
300 |a 74 p. ;  |c 28 cm. 
490 0 |a Apuntes de matemática ;  |v 32 
504 |a Incluye bibliografía. 
541 |a Donación de Xavier Caicedo ;  |d 1995-12-14 ;  |e 11823 ;  |o Libro 
650 4 |a Theory of computation. 
650 4 |a Model theory. 
650 4 |a Complexity of computation. 
653 |a Teoría de la computación. 
653 |a Teoría de modelos. 
653 |a Complejidad de la computación. 
942 |2 MSC  |c LIBRO 
945 |a MCR  |d 2016-06-14 
952 |0 0  |1 0  |2 MSC  |4 0  |6 M_68_C133  |7 0  |9 25488  |a MMA  |b MMA  |c 2  |d 2016-06-14  |e Caicedo Xavier  |l 0  |o M 68 C133  |p 11823  |r 2023-01-27  |w 2016-06-14  |y LIBRO 
999 |c 17650  |d 17648