Freunden von diesem Artikel berichten:
Labelled Deduction - Applied Logic Series David Basin Softcover reprint of the original 1st ed. 2000 edition
Preis
€ 113,99
Bestellware
Lieferdatum: ca. 18. Aug - 1. Sep
Benachrichtigungen über neue Veröffentlichungen von David Basin erhalten
Zu deiner iMusic Wunschliste hinzufügen
oder
Labelled Deduction - Applied Logic Series
David Basin
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.
278 pages, black & white illustrations, bibliography
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 8. Oktober 2012 |
| ISBN13 | 9789401057813 |
| Verlag | Springer |
| Seitenanzahl | 267 |
| Maße | 155 × 235 × 15 mm · 399 g |
| Redakteur | Basin, David |
| Redakteur | D'Agostino, M. |
| Redakteur | Gabbay, Dov M. |
| Redakteur | Matthews, Sean |
| Redakteur | Vigano, Luca |
Weitere Titel von David Basin
Alle anzeigen
![Cover for David Basin · Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Lecture Notes in Computer Science (Taschenbuch) [2003 edition] (2003)](https://imusic.b-cdn.net/images/item/original/648/9783540406648.jpg?david-basin-2003-theorem-proving-in-higher-order-logics-16th-international-conference-tphols-2003-rom-italy-september-8-12-2003-proceedings-lecture-notes-in-computer-science-taschenbuch&class=scaled&v=1485716445)
Mehr vom selben Verlag
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Taschenbuch) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Joseph Zajda · Globalisation, Ideology and Neo-Liberal Higher Education Reforms - Globalisation, Comparative Education and Policy Research (Taschenbuch) [2020 edition] (2021)](https://imusic.b-cdn.net/images/item/original/531/9789402417531.jpg?joseph-zajda-2021-globalisation-ideology-and-neo-liberal-higher-education-reforms-globalisation-comparative-education-and-policy-research-taschenbuch&class=scaled&v=1622229829)
![Cover for Precarized Society: Social Transformation of the Welfare State - Prekarisierung und soziale Entkopplung - transdisziplinare Studien (Taschenbuch) [1st ed. 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/127/9783658224127.jpg?2020-precarized-society-social-transformation-of-the-welfare-state-prekarisierung-und-soziale-entkopplung-transdisziplinare-studien-taschenbuch&class=scaled&v=1592914303)
![Cover for Dionissios T. Hristopulos · Random Fields for Spatial Data Modeling: A Primer for Scientists and Engineers - Advances in Geographic Information Science (Gebundenes Buch) [2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/160/9789402419160.jpg?dionissios-t-hristopulos-2020-random-fields-for-spatial-data-modeling-a-primer-for-scientists-and-engineers-advances-in-geographic-information-science-gebundenes-buch&class=scaled&v=1612626264)
![Cover for Moshe Dror · Modeling Uncertainty: An Examination of Stochastic Theory, Methods, and Applications - International Series in Operations Research & Management Science (Gebundenes Buch) [2002 edition] (2019)](https://imusic.b-cdn.net/images/item/original/633/9780792374633.jpg?moshe-dror-2019-modeling-uncertainty-an-examination-of-stochastic-theory-methods-and-applications-international-series-in-operations-research-management-science-gebundenes-buch&class=scaled&v=1422354786)
![Cover for Kopf · The Dao Companion to Japanese Buddhist Philosophy - Dao Companions to Chinese Philosophy (Gebundenes Buch) [2019 edition] (2019)](https://imusic.b-cdn.net/images/item/original/232/9789048129232.jpg?kopf-2019-the-dao-companion-to-japanese-buddhist-philosophy-dao-companions-to-chinese-philosophy-gebundenes-buch&class=scaled&v=1564419636)
![Cover for Simon Marius and His Research - Historical & Cultural Astronomy (Gebundenes Buch) [2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/209/9783319926209.jpg?2019-simon-marius-and-his-research-historical-cultural-astronomy-gebundenes-buch&class=scaled&v=1541913791)
![Cover for Bo-Ping Zhou-Pu-Xuan Lu · Diagnostic Imaging of Emerging Infectious Diseases (Taschenbuch) [Softcover reprint of the original 1st ed. 2016 edition] (2019)](https://imusic.b-cdn.net/images/item/original/359/9789402413359.jpg?bo-ping-zhou-pu-xuan-lu-2019-diagnostic-imaging-of-emerging-infectious-diseases-taschenbuch&class=scaled&v=1750335910)
![Cover for Resilience in Social, Cultural and Political Spheres (Taschenbuch) [1st ed. 2019 edition] (2019)](https://imusic.b-cdn.net/images/item/original/281/9783658153281.jpg?2019-resilience-in-social-cultural-and-political-spheres-taschenbuch&class=scaled&v=1496684089)
![Cover for Youru Wang · Dao Companion to Chinese Buddhist Philosophy - Dao Companions to Chinese Philosophy (Gebundenes Buch) [2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/386/9789048129386.jpg?youru-wang-2019-dao-companion-to-chinese-buddhist-philosophy-dao-companions-to-chinese-philosophy-gebundenes-buch&class=scaled&v=1539862459)
![Cover for Anke Luneburg · Auf Dem Weg Zur Fuhrungskraft: Die Innere Haltung Entwickeln (Taschenbuch) [1. Aufl. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/857/9783658219857.jpg?anke-luneburg-2018-auf-dem-weg-zur-fuhrungskraft-die-innere-haltung-entwickeln-taschenbuch&class=scaled&v=1582906646)
![Cover for Rokkam Madhavi · Digenetic Trematodes of Indian Marine Fishes (Gebundenes Buch) [2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/339/9789402415339.jpg?rokkam-madhavi-2018-digenetic-trematodes-of-indian-marine-fishes-gebundenes-buch&class=scaled&v=1541092522)
![Cover for Ferdinand Kiemeneij-Yujie Zhou-Wei Liu-Shigeru Sai · Transradial Approach for Percutaneous Interventions (Taschenbuch) [Softcover Reprint of the Original 1st 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/335/9789402413335.jpg?ferdinand-kiemeneij-yujie-zhou-wei-liu-shigeru-sai-2018-transradial-approach-for-percutaneous-interventions-taschenbuch&class=scaled&v=1612694911)
![Cover for Roads to Music Sociology - Musik und Gesellschaft (Taschenbuch) [1st ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/789/9783658222789.jpg?2018-roads-to-music-sociology-musik-und-gesellschaft-taschenbuch&class=scaled&v=1541798980)
![Cover for Karrie A. Shogren-Todd D. Little-Shane J. Lopez-Mi · Development of Self-Determination Through the Life-Course (Taschenbuch) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/738/9789402414738.jpg?karrie-a-shogren-todd-d-little-shane-j-lopez-mi-2018-development-of-self-determination-through-the-life-course-taschenbuch&class=scaled&v=1610001895)
![Cover for Jianmin Xu-Yunshi Zhong-Xinyu Qin · Multidisciplinary Management of Liver Metastases in Colorectal Cancer: Early Diagnosis and Treatment (Taschenbuch) [Softcover reprint of the original 1st ed. 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/004/9789402414004.jpg?jianmin-xu-yunshi-zhong-xinyu-qin-2018-multidisciplinary-management-of-liver-metastases-in-colorectal-cancer-early-diagnosis-and-treatment-taschenbuch&class=scaled&v=1614251834)
![Cover for Handbook of Legal Reasoning and Argumentation (Gebundenes Buch) [2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/513/9789048194513.jpg?2018-handbook-of-legal-reasoning-and-argumentation-gebundenes-buch&class=scaled&v=1553681547)
![Cover for CyberGIS for Geospatial Discovery and Innovation - GeoJournal Library (Gebundenes Buch) [1st ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/292/9789402415292.jpg?2018-cybergis-for-geospatial-discovery-and-innovation-geojournal-library-gebundenes-buch&class=scaled&v=1544637712)
![Cover for Kai Oliver Thiele · The Views of Japanese Employees on Cross-Border M&As - Betriebswirtschaftliche Forschung zur Unternehmensfuhrung (Taschenbuch) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/247/9783658225247.jpg?kai-oliver-thiele-2018-the-views-of-japanese-employees-on-cross-border-m-as-betriebswirtschaftliche-forschung-zur-unternehmensfuhrung-taschenbuch&class=scaled&v=1531691090)
![Cover for Nicolas Fromm · Constructivist Niche Diplomacy: Qatar's Middle East Diplomacy as an Illustration of Small State Norm Crafting - Politik und Gesellschaft des Nahen Ostens (Taschenbuch) [1st ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/186/9783658225186.jpg?nicolas-fromm-2018-constructivist-niche-diplomacy-qatar-s-middle-east-diplomacy-as-an-illustration-of-small-state-norm-crafting-politik-und-gesellschaft-des-nahen-ostens-taschenbuch&class=scaled&v=1610540110)
![Cover for Clemens Forman · Coupling Power Generation with Syngas-Based Chemical Synthesis: A Process Chain Evaluation from a Power Plant Viewpoint (Taschenbuch) [1st ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/084/9783658226084.jpg?clemens-forman-2018-coupling-power-generation-with-syngas-based-chemical-synthesis-a-process-chain-evaluation-from-a-power-plant-viewpoint-taschenbuch&class=scaled&v=1534320264)
![Cover for Norman Bowie · Business Ethics in the 21st Century - Issues in Business Ethics (Taschenbuch) [1st ed. 2013 edition] (2018)](https://imusic.b-cdn.net/images/item/original/360/9789402415360.jpg?norman-bowie-2018-business-ethics-in-the-21st-century-issues-in-business-ethics-taschenbuch&class=scaled&v=1539762961)
![Cover for Thorsten Knoll · Veranstaltungsformate im Vergleich: Entscheidungshilfen zum passgenauen Event - essentials (Taschenbuch) [1. Aufl. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/174/9783658220174.jpg?thorsten-knoll-2018-veranstaltungsformate-im-vergleich-entscheidungshilfen-zum-passgenauen-event-essentials-taschenbuch&class=scaled&v=1600030010)
![Cover for Hongjun Li · Radiology of Influenza: A Practical Approach (Taschenbuch) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/332/9789402414332.jpg?hongjun-li-2018-radiology-of-influenza-a-practical-approach-taschenbuch&class=scaled&v=1623231242)
![Cover for Florian Winke · Transient Effects in Simulations of Hybrid Electric Drivetrains - Wissenschaftliche Reihe Fahrzeugtechnik Universitat Stuttgart (Taschenbuch) [1st ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/537/9783658225537.jpg?florian-winke-2018-transient-effects-in-simulations-of-hybrid-electric-drivetrains-wissenschaftliche-reihe-fahrzeugtechnik-universitat-stuttgart-taschenbuch&class=scaled&v=1533042711)
![Cover for Julia Metzger-Traber · If the Body Politic Could Breathe in the Age of the Refugee: An Embodied Philosophy of Interconnection - Masters of Peace (Taschenbuch) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/649/9783658223649.jpg?julia-metzger-traber-2018-if-the-body-politic-could-breathe-in-the-age-of-the-refugee-an-embodied-philosophy-of-interconnection-masters-of-peace-taschenbuch&class=scaled&v=1533389872)
Alle Titel von David Basin ansehen ( u. a. Taschenbuch und Gebundenes Buch )