Ergebnisse filtern
-
- 7
- 6
-
- 1
- 2
- 5
- 1
- 3
- 1
-
- 5
- 3
- 2
- 1
- 1
- 1
-
- 1
- 7
- 5
-
- 13
-
- 13
-
- 13
-
Baaz Kurt Godel and the Foundations of Mathematics
Horizons of TruthErscheinungsjahr 2011Verlag: Cambridge University PressISBN: 978-1-139-06291-6Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)50,49 € (inkl. MwSt.)
sofort verfügbar -
Baaz Kurt Godel and the Foundations of Mathematics
Horizons of TruthErscheinungsjahr 2011Verlag: Cambridge University PressISBN: 978-1-139-06476-7Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)58,99 € (inkl. MwSt.)
sofort verfügbar -
Leitsch / Baaz Methods of Cut-Elimination
2011Verlag: Springer NetherlandsISBN: 978-94-007-3497-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baaz / Leitsch Methods of Cut-Elimination
1. Auflage 2011Verlag: Springer NetherlandISBN: 978-94-007-0320-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Baaz / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings2002Verlag: SpringerISBN: 978-3-540-36078-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Baaz / Leitsch Methods of Cut-Elimination
2011. Auflage 2011Verlag: SpringerISBN: 978-94-007-0319-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Voronkov / Baaz Logic for Programming, Artificial Intelligence, and Reasoning
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00010-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baaz / Makowsky Computer Science Logic
17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings2003Verlag: SpringerISBN: 978-3-540-45220-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Makowsky / Baaz Computer Science Logic
17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40801-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baaz / Friedman / Krajícek Logic Colloquium '01
Lecture Notes In Logic, 201. Auflage 2005Verlag: Taylor & Francis IncISBN: 978-1-56881-248-9Medium: Buch44,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baaz / Friedman / Krajícek Logic Colloquium '01
Erscheinungsjahr 2020Verlag: Cambridge University PressISBN: 978-1-108-69544-2Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)133,99 € (inkl. MwSt.)
sofort verfügbar -
Baaz / Papadimitriou / Putnam Kurt Godel and the Foundations of Mathematics
Horizons of TruthErscheinungsjahr 2011Verlag: Cambridge University PressISBN: 978-0-521-76144-4Medium: Buch162,40 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baaz / Papadimitriou / Putnam Kurt Godel and the Foundations of Mathematics
Horizons of TruthErscheinungsjahr 2013Verlag: Cambridge University PressISBN: 978-1-107-67799-9Medium: Buch85,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort