Ergebnisse zu
Logik / Mengenlehre

Set Theory and Model Theory
Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979
von R.B. Jensen; A. Prestel
Buch | Softcover
1981 | Auflage: 1 | Springer Berlin
ISBN: 9783540108498
26,70 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Decidable Theories
Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
von Dirk Siefkes; Gert H. Müller
Buch | Softcover
1970 | Auflage: 1 | Springer Berlin
ISBN: 9783540049098
26,70 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Logic Symposia, Hakone, 1979, 1980
Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
von G.H. Müller; G. Takeuti; T. Tugue
Buch | Softcover
1981 | Auflage: 1 | Springer Berlin
ISBN: 9783540111610
42,75 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
ISILC - Proof Theory Symposion
Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
von J. Diller; G.H. Müller
Buch | Softcover
1976 | Auflage: 1 | Springer Berlin
ISBN: 9783540075332
37,40 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Domains and Processes
Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
von Klaus Keimel; Guo-Qiang Zhang; Ying Ming Liu;..
Buch | Hardcover
2001 | Springer
ISBN: 9780792371434
106,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 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 | Auflage: 1 | Springer Berlin
ISBN: 9783540669937
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Logic and Foundations of Mathematics
Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
von Andrea Cantini; Ettore Casari; Pierluigi Minari
Buch | Hardcover
1999 | Springer
ISBN: 9780792356592
106,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Aspects of Molecular Computing
Essays Dedicated to Tom Head on the Occasion of His 70th Birthday
von Natasha Jonoska; Gheorghe Păun; Grzegorz Rozenberg
Buch | Softcover
2003 | Auflage: 1 | Springer Berlin
ISBN: 9783540207818
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Proof Theory
History and Philosophical Significance
von Vincent F. Hendricks; Stig Andur Pedersen; Klaus..
Buch | Hardcover
2000 | Springer
ISBN: 9780792365440
106,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen