この商品を友人に教える:
Combinators, -Terms and Proof Theory - Synthese Library S. Stenlund 1972 edition
価格
¥ 19.549
税抜
遠隔倉庫からの取り寄せ
発送予定日 年9月1日 - 年9月17日
S. Stenlund の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
他の形態でも入手可能：
Combinators, -Terms and Proof Theory - Synthese Library
S. Stenlund
The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present some work of my own.
187 pages, biography
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Konrad Schmudgen · Unbounded Self-Adjoint Operators on Hilbert Space - Graduate Texts in Mathematics (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/822/9789402423822.jpg?konrad-schmudgen-2026-unbounded-self-adjoint-operators-on-hilbert-space-graduate-texts-in-mathematics-hardcover-book&class=scaled&v=1786374320)
![Cover for Joseph Zajda · Globalisation, Ideology and Neo-Liberal Higher Education Reforms - Globalisation, Comparative Education and Policy Research (Paperback Book) [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-paperback-book&class=scaled&v=1622229829)
![Cover for Precarized Society: Social Transformation of the Welfare State - Prekarisierung und soziale Entkopplung - transdisziplinare Studien (Paperback Book) [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-paperback-book&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 (Hardcover Book) [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-hardcover-book&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 (Hardcover Book) [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-hardcover-book&class=scaled&v=1422354786)
![Cover for Kopf · The Dao Companion to Japanese Buddhist Philosophy - Dao Companions to Chinese Philosophy (Hardcover Book) [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-hardcover-book&class=scaled&v=1564419636)
![Cover for Simon Marius and His Research - Historical & Cultural Astronomy (Hardcover Book) [2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/209/9783319926209.jpg?2019-simon-marius-and-his-research-historical-cultural-astronomy-hardcover-book&class=scaled&v=1541913791)
![Cover for Bo-Ping Zhou-Pu-Xuan Lu · Diagnostic Imaging of Emerging Infectious Diseases (Paperback Book) [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-paperback-book&class=scaled&v=1750335910)
![Cover for Resilience in Social, Cultural and Political Spheres (Paperback Book) [1st ed. 2019 edition] (2019)](https://imusic.b-cdn.net/images/item/original/281/9783658153281.jpg?2019-resilience-in-social-cultural-and-political-spheres-paperback-book&class=scaled&v=1496684089)
![Cover for Youru Wang · Dao Companion to Chinese Buddhist Philosophy - Dao Companions to Chinese Philosophy (Hardcover Book) [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-hardcover-book&class=scaled&v=1539862459)
![Cover for Anke Luneburg · Auf Dem Weg Zur Fuhrungskraft: Die Innere Haltung Entwickeln (Paperback Book) [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-paperback-book&class=scaled&v=1582906646)
![Cover for Rokkam Madhavi · Digenetic Trematodes of Indian Marine Fishes (Hardcover Book) [2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/339/9789402415339.jpg?rokkam-madhavi-2018-digenetic-trematodes-of-indian-marine-fishes-hardcover-book&class=scaled&v=1541092522)
![Cover for Ferdinand Kiemeneij-Yujie Zhou-Wei Liu-Shigeru Sai · Transradial Approach for Percutaneous Interventions (Paperback Book) [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-paperback-book&class=scaled&v=1612694911)
![Cover for Roads to Music Sociology - Musik und Gesellschaft (Paperback Book) [1st ed. 2019 edition] (2018)](https://imusic.b-cdn.net/images/item/original/789/9783658222789.jpg?2018-roads-to-music-sociology-musik-und-gesellschaft-paperback-book&class=scaled&v=1541798980)
![Cover for Karrie A. Shogren-Todd D. Little-Shane J. Lopez-Mi · Development of Self-Determination Through the Life-Course (Paperback Book) [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-paperback-book&class=scaled&v=1610001895)
![Cover for Jianmin Xu-Yunshi Zhong-Xinyu Qin · Multidisciplinary Management of Liver Metastases in Colorectal Cancer: Early Diagnosis and Treatment (Paperback Book) [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-paperback-book&class=scaled&v=1614251834)
![Cover for Handbook of Legal Reasoning and Argumentation (Hardcover Book) [2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/513/9789048194513.jpg?2018-handbook-of-legal-reasoning-and-argumentation-hardcover-book&class=scaled&v=1553681547)
![Cover for CyberGIS for Geospatial Discovery and Innovation - GeoJournal Library (Hardcover Book) [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-hardcover-book&class=scaled&v=1544637712)
![Cover for Kai Oliver Thiele · The Views of Japanese Employees on Cross-Border M&As - Betriebswirtschaftliche Forschung zur Unternehmensfuhrung (Paperback Book) [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-paperback-book&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 (Paperback Book) [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-paperback-book&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 (Paperback Book) [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-paperback-book&class=scaled&v=1534320264)
![Cover for Norman Bowie · Business Ethics in the 21st Century - Issues in Business Ethics (Paperback Book) [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-paperback-book&class=scaled&v=1539762961)
![Cover for Thorsten Knoll · Veranstaltungsformate im Vergleich: Entscheidungshilfen zum passgenauen Event - essentials (Paperback Book) [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-paperback-book&class=scaled&v=1600030010)
![Cover for Hongjun Li · Radiology of Influenza: A Practical Approach (Paperback Book) [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-paperback-book&class=scaled&v=1623231242)
![Cover for Florian Winke · Transient Effects in Simulations of Hybrid Electric Drivetrains - Wissenschaftliche Reihe Fahrzeugtechnik Universitat Stuttgart (Paperback Book) [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-paperback-book&class=scaled&v=1533042711)