Su búsqueda recuperó 3 resultados.

Resultados
		Proof complexity / Jan Krajíček por Krajíček, Jan [autor]. Series Encyclopedia of mathematics and its applications ; 170Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge : Cambridge University Press, 2019Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.54 K72. Hacer reserva Agregar al carrito (remover)
		Forcing with random variables and proof complexity / Jan Krajícek por Krajícek, Jan [autor]. Series London Mathematical Society lecture note series ; 382Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge, United Kingdom : Cambridge University Press, 2011Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA267.7 K73. Hacer reserva Agregar al carrito (remover)
		Bounded arithmetic, propositional logic, and complexity theory / Jan Krajicek por Krajicek, Jan [autor] \| University of Cambridge. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Cambridge Cambridge University Press, [England] : 1995Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.56 K73. Hacer reserva Agregar al carrito (remover)