Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Logik / Mengenlehre

Reconfigurable Computing
Accelerating Computation with Field-Programmable Gate Arrays
von Maya B. Gokhale; Paul S. Graham
Buch | Hardcover
2005 | Springer-Verlag New York Inc.
ISBN: 9780387261058
CHF 224,65 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Proof Theory
The First Step into Impredicativity
von Wolfram Pohlers
Buch | Softcover
2008 | Springer Berlin
ISBN: 9783540693185
CHF 104,80 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Model Theory of Algebra and Arithmetic
Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz,Poland, September 1-7, 1979
von L. Pacholski; J Wierzejewski; A.J. Wilkie
Buch | Softcover
1980 | Springer Berlin
ISBN: 9783540102694
CHF 67,30 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Set Theory
Techniques and Applications Curaçao 1995 and Barcelona 1996 Conferences
von Carlos A. di Prisco; Jean A. Larson; Joan Bagaria;..
Buch | Hardcover
1997 | Kluwer Academic Publishers
ISBN: 9780792349051
CHF 149,75 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Logic and Computer Science
Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
von Steven Homer; Piergiorgio Odifreddi; Anil Nerode;..
Buch | Softcover
1990 | Springer Berlin
ISBN: 9783540527343
CHF 37,35 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Practical Reasoning
International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.
von Dov M. Gabbay; Hans Jürgen Ohlbach
Buch | Softcover
1996 | Springer Berlin
ISBN: 9783540613138
CHF 149,75 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Triangular Norms
von Erich Peter Klement; R. Mesiar; E. Pap
Buch | Hardcover
2000 | Kluwer Academic Publishers
ISBN: 9780792364160
CHF 369,95 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
A Boole Anthology
Recent and Classical Studies in the Logic of George Boole
von James Gasser
Buch | Hardcover
2000 | Kluwer Academic Publishers
ISBN: 9780792363804
CHF 224,65 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Abduction and Induction
Essays on their Relation and Integration
von P.A. Flach; Antonis Hadjiantonis
Buch | Hardcover
2000 | Kluwer Academic Publishers
ISBN: 9780792362500
CHF 249,95 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Serial Rings
von G. Puninski
Buch | Hardcover
2001 | Kluwer Academic Publishers
ISBN: 9780792371878
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Algebraic Model Theory
von Bradd T. Hart; A. Lachlan; Matthew A. Valeriote
Buch | Hardcover
1997 | Kluwer Academic Publishers
ISBN: 9780792346661
CHF 224,65 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Classification Theory
Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic Held in Chicago, Dec. 15-19, 1985
von John T. Baldwin
Buch | Softcover
1988 | Springer Berlin
ISBN: 9783540186748
CHF 67,30 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen