Freunden von diesem Artikel berichten:
Logic, Construction, Computation - Ontos Mathematical Logic
Preis
SFr. 176,49
exkl. MwSt.
Bestellware
Lieferdatum: ca. 5. - 15. Jun
Zu deiner iMusic Wunschliste hinzufügen
Logic, Construction, Computation - Ontos Mathematical Logic
Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing. This volume contains 20 articles from experts about developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, and Constructive mathematics.
| Medien | Bücher Gebundenes Buch (Buch mit hartem Rücken und steifem Einband) |
| Erscheinungsdatum | 20. Juli 2012 |
| ISBN13 | 9783110324532 |
| Verlag | De Gruyter |
| Seitenanzahl | 542 |
| Maße | 150 × 220 × 20 mm · 826 g |
| Sprache | Deutsch |
| Redakteur | Berger, Ulrich |
| Redakteur | Diener, Hannes |
| Redakteur | Schuster, Peter |
| Redakteur | Seisenberger, Monika |
![Cover for Eva-Maria Seng · Erkundungen in Die Kunstgeschichte: Kirchenbau - Stadtebau - Utopie (Taschenbuch) [1., Aufl. edition] (2026)](https://imusic.b-cdn.net/images/item/original/704/9783422068704.jpg?eva-maria-seng-2026-erkundungen-in-die-kunstgeschichte-kirchenbau-stadtebau-utopie-taschenbuch&class=scaled&v=1605702344)
![Cover for CARE MATTERS: Art from the VERBUND COLLECTION, Vienna (Gebundenes Buch) [Englische Ausgabe edition] (2026)](https://imusic.b-cdn.net/images/item/original/947/9783422803947.jpg?2026-care-matters-art-from-the-verbund-collection-vienna-gebundenes-buch&class=scaled&v=1773988583)
![Cover for Wojciech Balus · Vom Klassizismus Zum Historismus (1770-1870) - Handbuch Zur Geschichte Der Kunst in Ostmitteleuropa (Gebundenes Buch) [1., Aufl. edition] (2026)](https://imusic.b-cdn.net/images/item/original/640/9783422069640.jpg?wojciech-balus-2026-vom-klassizismus-zum-historismus-1770-1870-handbuch-zur-geschichte-der-kunst-in-ostmitteleuropa-gebundenes-buch&class=scaled&v=1673325215)
![Cover for Eine Wiener Schule in Berlin 1900-1933 (Gebundenes Buch) [New edition] (2026)](https://imusic.b-cdn.net/images/item/original/773/9783689241773.jpg?2026-eine-wiener-schule-in-berlin-1900-1933-gebundenes-buch&class=scaled&v=1745661410)
![Cover for Rudolf Koegel · Geschichte Der Althoch- Und Altniederdeutschen Literatur (Gebundenes Buch) [2nd Sonderabdr. Aus Der 2. Aufl. Von Pauls Grundri edition] (2026)](https://imusic.b-cdn.net/images/item/original/282/9783111282282.jpg?rudolf-koegel-2026-geschichte-der-althoch-und-altniederdeutschen-literatur-gebundenes-buch&class=scaled&v=1766468394)
![Cover for §§ 151-157 - Großkommentare Der Praxis (Gebundenes Buch) [28th 28. Neu Bearb. Aufl. edition] (2026)](https://imusic-static.b-cdn.net/images/item/original/755/9783110736755.jpg?2026-151-157-gro-kommentare-der-praxis-gebundenes-buch&class=scaled&v=1779096416)
