Ergebnisse zu
Logik / Mengenlehre

von Philip Dwinger
Buch | Softcover
1971 | Physica-Verlag
ISBN: 9783790800869
7,85 € (inkl. MwSt)
  • Titel ist leider vergriffen;
    keine Neuauflage
Metalogic
von Geoffrey Hunter
Buch | Hardcover
1971 | MacMillan
ISBN: 9780333115893
  • Titel ist leider vergriffen;
    keine Neuauflage
Notes on Set Theory
von Yiannis N Moschovakis
Buch | Hardcover
1994 | Springer-Verlag New York Inc.
ISBN: 9780387941806
64,15 € (inkl. MwSt)
  • Titel erscheint in neuer Auflage
Proceedings of the 5th Refinement Workshop, Organised by BCS-Facs, London, 8-10 January 1992
Buch | Hardcover
1993 | Springer
ISBN: 9780387197524
89,40 € (inkl. MwSt)
  • Titel ist leider vergriffen;
    keine Neuauflage
von Stephane Kaplan; Jean-Pierre Jouannaud
Buch | Hardcover
1988 | Springer
ISBN: 9780387192420
54,60 € (inkl. MwSt)
  • Titel ist leider vergriffen;
    keine Neuauflage
Local and Global Theory
von M Lerman
Buch | Hardcover
1983 | Springer
ISBN: 9780387121550
102,35 € (inkl. MwSt)
  • Titel ist leider vergriffen;
    keine Neuauflage
Proceedings. Caltech-UCLA Logic Seminar 1979-81
Buch | Hardcover
1983 | Springer
ISBN: 9780387126883
38,70 € (inkl. MwSt)
  • Titel ist leider vergriffen;
    keine Neuauflage
First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected Papers
Buch | Softcover
1994 | Springer
ISBN: 9780387582337
51,65 € (inkl. MwSt)
  • Titel ist leider vergriffen;
    keine Neuauflage
Theory and Application
Buch | Softcover
1991 | Springer
ISBN: 9780387541259
79,45 € (inkl. MwSt)
  • Titel ist leider vergriffen;
    keine Neuauflage
von Satoru Takasu; Neil D Jones; Masami Hagiya;..
Buch | Softcover
1994 | Springer
ISBN: 9780387579351
44,65 € (inkl. MwSt)
  • Titel ist leider vergriffen;
    keine Neuauflage
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
Buch | Softcover
1990 | Springer
ISBN: 9780387527345
17,85 € (inkl. MwSt)
  • Titel ist leider vergriffen;
    keine Neuauflage
International Conference Lpar '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
Buch | Softcover
1992 | Springer
ISBN: 9780387557274
73,55 € (inkl. MwSt)
  • Titel ist leider vergriffen;
    keine Neuauflage
A Generic Theorem Prover
von Lawrence C Paulson; Tobias Nipkow
Buch | Softcover
1994 | Springer
ISBN: 9780387582443
46,70 € (inkl. MwSt)
  • Titel ist leider vergriffen;
    keine Neuauflage
Advances in Artificial Intelligence: 18th German Annual Conference on Artificial Intelligence, Saarbrucken, Germany, September 18-23, 1994:..
von Bernhard Nebel; Leonie Dreschler-Fischer; German..
Buch | Hardcover
1994 | Springer
ISBN: 9780387584676
57,60 € (inkl. MwSt)
  • Titel ist leider vergriffen;
    keine Neuauflage