Arithmetic, Proof Theory, and Computational Complexity - Oxford Logic Guides - Peter Clote - Libros - Oxford University Press - 9780198536901 - 10 de junio de 1993
En caso de que portada y título no coincidan, el título será el correcto

Arithmetic, Proof Theory, and Computational Complexity - Oxford Logic Guides

Precio
Mex$ 2.459
sin IVA

Pedido desde almacén remoto

Entrega prevista 28 de jul. - 13 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Peter Clote
Añadir a tu lista de deseos de iMusic

Aún no valorado

This book principally concerns the area of "Logical Complexity Theory", the study of bounded arithmetic, propositional proof systems, length of proof, etc and relations to computational complexity theory. This includes an open problem list of 7 fundamental and 39 technical questions together with a bibliography of references.


442 pages, line figures

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 10 de junio de 1993
ISBN13 9780198536901
Editores Oxford University Press
Páginas 442
Dimensiones 162 × 242 × 30 mm   ·   816 g
Lengua Inglés  
Editor Clote, Peter (Professor, Department of Computer Science, Professor, Department of Computer Science, Boston College, Chestnut Hill, USA)
Editor Krajicek, Jan (Mathematical Institute, Mathematical Institute, Ceskoslovenska Akademie Ved Praha 1, Czechoslovakia)

Mas por Peter Clote

Mostrar todo

Más del mismo editor