Ergebnisse zu
Logik / Mengenlehre

Higher Order Logic Theorem Proving and its Applications
Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgium,..
von L.J.M. Claesen; M.J.C. Gordon
eBook Download (PDF)
2014 | Auflage: 1 | Elsevier Science
ISBN: 9781483298405
149,00 € (inkl. MwSt)
  • Download sofort lieferbar
von W. J Blok
eBook Download (PDF)
American Mathematical Society
ISBN: 9781470408169
26,19 € (inkl. MwSt)
  • Download sofort lieferbar
Classical Recursion Theory
The Theory of Functions and Sets of Natural Numbers
von P. Odifreddi
eBook Download (PDF)
1992 | Auflage: 1 | Elsevier Science
ISBN: 9780080886596
72,33 € (inkl. MwSt)
  • Download sofort lieferbar
Intensional Mathematics
von S. Shapiro
eBook Download (PDF)
1985 | Auflage: 1 | Elsevier Science
ISBN: 9780080880044
56,37 € (inkl. MwSt)
  • Download sofort lieferbar
Hausdorff Gaps and Limits
von R. Frankiewicz; P. Zbierski
eBook Download (PDF)
1994 | Auflage: 1 | Elsevier Science
ISBN: 9780080887081
56,49 € (inkl. MwSt)
  • Download sofort lieferbar
von Y.N. Moschovakis
eBook Download (PDF)
1987 | Auflage: 1 | Elsevier Science
ISBN: 9780080963198
79,44 € (inkl. MwSt)
  • Download sofort lieferbar
von Lev D. Beklemishev
eBook Download (PDF)
2000 | Auflage: 1 | Elsevier Science
ISBN: 9780080954837
216,65 € (inkl. MwSt)
  • Download sofort lieferbar
Foundations of Set Theory
von Y. Bar-Hillel; A.A. Fraenkel; A. Levy
eBook Download (EPUB)
1973 | Auflage: 2 | Elsevier Science
ISBN: 9780080887050
56,40 € (inkl. MwSt)
  • Download sofort lieferbar
Theory of Relations
von R. Fraisse
eBook Download (PDF)
2000 | Auflage: 1 | Elsevier Science
ISBN: 9780080519111
166,95 € (inkl. MwSt)
  • Download sofort lieferbar
Recursive Functionals
von L.E. Sanchis
eBook Download (PDF)
1992 | Auflage: 1 | Elsevier Science
ISBN: 9780080887173
56,58 € (inkl. MwSt)
  • Download sofort lieferbar