The Collected Works of J. Richard Büchi
J. Richard Biichi is well known for his work in mathematical logic and theoretical computer science. (He himself would have sharply objected to the qualifier theoretical, because he more or less identified science and theory, using theory in a broader sense and science in a narrower sense than usual.) We are happy to present here this collection of his papers. I (DS)1 worked with Biichi for many years, on and off, ever since I did my Ph.D. thesis on his Sequential Calculus. His way was to travel locally, not globally: When we met we would try some specific problem, but rarely dis cussed research we had done or might do. After he died in Apri…
Mehr
CHF 77.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Mac Lane, Saunders (Hrsg.) / Siefkes, Dirk (Hrsg.)
- ISBN: 978-1-4613-8928-6
- EAN: 9781461389286
- Produktnummer: 37220021
- Verlag: Springer New York
- Sprache: Englisch
- Erscheinungsjahr: 2012
- Seitenangabe: 696 S.
- Plattform: PDF
- Auflage: 1990
4 weitere Werke von J. Richard Büchi:
Bewertungen
Anmelden