
por S. R. Buss · 1998
Sinopsis
Este texto ofrece una introducción exhaustiva a la teoría de la prueba moderna, cubriendo sistemas de deducción formal, teoremas de incompletitud y análisis ordinal, con un énfasis en los aspectos computacionales.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo

1999

2002

2003

2005

2007

2010

2013

2014

2016

2017

2018

2019

2020

2021

2022
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.