Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Logik / Mengenlehre

Polytopes
Abstract, Convex and Computational
von Tibor Bisztriczky; Peter McMullen; Rolf Schneider;..
Buch | Hardcover
1994 | Springer
ISBN: 9780792330165
CHF 449,35 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Generalized Quantifiers and Computation
9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures
von Jouko Väänänen
Buch | Softcover
2000 | Springer Berlin
ISBN: 9783540669937
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Proof Theory
History and Philosophical Significance
von Vincent F. Hendricks; Stig Andur Pedersen; Klaus..
Buch | Hardcover
2000 | Springer
ISBN: 9780792365440
CHF 149,75 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Automated Deduction — CADE-12
12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings
von Alan Bundy
Buch | Softcover
1994 | Springer Berlin
ISBN: 9783540581567
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen