Mathematische Logik und Theoretische Informatik von David Kueker (Englisch) Ha
212,97 €
By David Kueker. Type 1 Calculus and Automated Mathematics. Well-Ordering and Induction in Intuitioinistic Logic. Local Concepts and Germ Representability. An Extension of Frege Structures. Oracles: Three New Results.
Jetzt bei Ebay: