Mathematical Logic and Theoretical Computer Science by David Kueker (English) Ha
230,24 €
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: