Fortæl dine venner om denne vare:
Logic, Construction, Computation - Ontos Mathematical Logic
Pris
DKK 1.802
Bestilles fra fjernlager
Forventes klar til forsendelse 12. - 18. jun.
Tilføj til din iMusic ønskeseddel
eller
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.
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 20. juli 2012 |
| ISBN13 | 9783110324532 |
| Forlag | De Gruyter |
| Antal sider | 542 |
| Mål | 150 × 220 × 20 mm · 826 g |
| Sprog | Tysk |
| Klipper/redaktør | Berger, Ulrich |
| Klipper/redaktør | Diener, Hannes |
| Klipper/redaktør | Schuster, Peter |
| Klipper/redaktør | Seisenberger, Monika |
![Cover for Eva-Maria Seng · Erkundungen in Die Kunstgeschichte: Kirchenbau - Stadtebau - Utopie (Paperback Bog) [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-paperback-bog&class=scaled&v=1605702344)
![Cover for CARE MATTERS: Art from the VERBUND COLLECTION, Vienna (Hardcover bog) [Englische Ausgabe edition] (2026)](https://imusic.b-cdn.net/images/item/original/947/9783422803947.jpg?2026-care-matters-art-from-the-verbund-collection-vienna-hardcover-bog&class=scaled&v=1773988583)
![Cover for Wojciech Balus · Vom Klassizismus Zum Historismus (1770-1870) - Handbuch Zur Geschichte Der Kunst in Ostmitteleuropa (Hardcover bog) [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-hardcover-bog&class=scaled&v=1673325215)
![Cover for Eine Wiener Schule in Berlin 1900-1933 (Hardcover bog) [New edition] (2026)](https://imusic.b-cdn.net/images/item/original/773/9783689241773.jpg?2026-eine-wiener-schule-in-berlin-1900-1933-hardcover-bog&class=scaled&v=1745661410)
![Cover for Rudolf Koegel · Geschichte Der Althoch- Und Altniederdeutschen Literatur (Hardcover bog) [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-hardcover-bog&class=scaled&v=1766468394)
![Cover for §§ 151-157 - Großkommentare Der Praxis (Hardcover bog) [28th 28. Neu Bearb. Aufl. edition] (2026)](https://imusic.b-cdn.net/images/item/original/755/9783110736755.jpg?2026-151-157-gro-kommentare-der-praxis-hardcover-bog&class=scaled&v=1779096416)