Iterated inductive definitions and subsystems of analysis. Recent proof-theoretical studies.
Buchholz, Wilfred
Vendido por Antiquariat Bookfarm, Löbnitz, Alemania
Vendedor de AbeBooks desde 28 de octubre de 2009
Usado - Encuadernación de tapa blanda
Cantidad disponible: 1 disponibles
Añadir al carrito