Bounded arithmetic, propositional logic, and complexity theory /

Guardado en:
Detalles Bibliográficos
Autor principal: Krajicek, Jan
Formato: Libro
Lenguaje:Inglés
Publicado: Nueva York : Cambridge, 1995
Colección:Encyclopedia of mathematics and its applications ; 60
Materias:
Aporte de:Registro referencial: Solicitar el recurso aquí
LEADER 00653cam a22002292u 4500
001 LIBRI-007602
003 AR-CrUNPB
007 ta
008 170901s1995 xxu r 000 0 eng d
040 |a AR-CrUNPB 
082 0 |a 511.3/K.29-1  |2 20 
100 1 |a Krajicek, Jan 
245 1 0 |a Bounded arithmetic, propositional logic, and complexity theory /   |c Jan Krajicek 
255 |a .3 
260 |a Nueva York :  |b Cambridge,   |c 1995 
300 |a xiii,338 p 
490 0 |a Encyclopedia of mathematics and its applications ;   |v 60 
590 |a Registros migrados a formato MARC 
650 7 |a LOGICA  |2 Unescot  |9 4291 
942 |c BK 
910 |a ms990303 
999 |c 58974  |d 58974