Isbn: 9780192895936 - introduction to proof theory: normalization, cut-elimination, and consistency proofs (1 Ergebnisse)
- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 214,21
EUR 14,73 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Hardcover. Zustand: Brand New. 432 pages. 9.45x6.30x0.98 inches. In Stock.
