Ergebnisse filtern
-
- 9
- 3
-
- 1
- 2
- 2
- 2
- 2
- 2
- 1
-
- 5
- 2
- 5
-
- 1
- 2
- 4
- 5
-
- 12
-
- 12
-
- 12
-
Negri Proof Analysis
A Contribution to Hilbert's Last ProblemErscheinungsjahr 2011Verlag: Cambridge University PressISBN: 978-1-139-14282-3Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)39,49 € (inkl. MwSt.)
sofort verfügbar -
Das / Negri Automated Reasoning with Analytic Tableaux and Related Methods
30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-86059-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Negri / Das Automated Reasoning with Analytic Tableaux and Related Methods
30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-86058-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Negri / Plato Proof Analysis
A Contribution to Hilbert's Last ProblemErscheinungsjahr 2014Verlag: Cambridge University PressISBN: 978-1-107-41723-6Medium: Buch56,40 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Negri / Plato Structural Proof Theory
Erscheinungsjahr 2008Verlag: Cambridge University PressISBN: 978-0-521-06842-0Medium: Buch53,10 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Negri / von Plato Proof Analysis
Erscheinungsjahr 2011Verlag: Cambridge University PressISBN: 978-1-107-00895-3Medium: Buch121,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Olivetti / Verbrugge / Negri Advances in Modal Logic, Volume 13
Erscheinungsjahr 2020Verlag: College PublicationsISBN: 978-1-84890-341-8Medium: Buch31,30 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Negri / Plato / Ranta Structural Proof Theory
Erscheinungsjahr 2014Verlag: Cambridge University PressISBN: 978-0-521-79307-0Medium: Buch112,70 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ketonen / Negri / Plato Investigations into the Predicate Calculus
Erscheinungsjahr 2022Verlag: College PublicationsISBN: 978-1-84890-407-1Medium: Buch20,10 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Centrone / Schuster / Negri Mathesis Universalis, Computability and Proof
1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-20446-4Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Centrone / Schuster / Negri Mathesis Universalis, Computability and Proof
1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-20449-5Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Centrone / Negri / Sarikaya Mathesis Universalis, Computability and Proof
1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-20447-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark117,69 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort