Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
S. Feferman, W. Buchholz, W. Sieg, W. Pohlers
Vendido por Rarewaves.com UK, London, Reino Unido
Vendedor de AbeBooks desde 11 de junio de 2025
Nuevos - Encuadernación de tapa blanda
Condición: New
Cantidad disponible: Más de 20 disponibles
Añadir al carrito