Tell your friends about this item:
A Short Introduction to Intuitionistic Logic - University Series in Mathematics Grigori Mints 2000 edition
Price
HK$ 1,109
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Jul 24 - 29
Get notified about new Grigori Mints releases
Our customers say:
Add to your iMusic wish list
Also available as:
A Short Introduction to Intuitionistic Logic - University Series in Mathematics
Grigori Mints
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
131 pages, biography
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | October 31, 2000 |
| ISBN13 | 9780306463945 |
| Publishers | Springer Science+Business Media |
| Pages | 131 |
| Dimensions | 242 × 163 × 17 mm · 372 g |
| Language | English |
![Cover for Michael L Galaty · Archaeology Under Dictatorship (Paperback Book) [2004 edition] (2006)](https://imusic.b-cdn.net/images/item/original/091/9780306485091.jpg?michael-l-galaty-2006-archaeology-under-dictatorship-paperback-book&class=scaled&v=1485268790)
![Cover for P. Bro · Battery Hazards and Accident Prevention (Hardcover Book) [1994 edition] (2006)](https://imusic.b-cdn.net/images/item/original/587/9780306447587.jpg?p-bro-2006-battery-hazards-and-accident-prevention-hardcover-book&class=scaled&v=1408579105)
![Cover for Isabelle Godin · Hematopoietic Stem Cell Development - Medical Intelligence Unit (Hardcover Book) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/727/9780306478727.jpg?isabelle-godin-2006-hematopoietic-stem-cell-development-medical-intelligence-unit-hardcover-book&class=scaled&v=1460131241)
![Cover for Christopher Janson · Peptide Nucleic Acids, Morpholinos and Related Antisense Biomolecules - Medical Intelligence Unit (Hardcover Book) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/304/9780306482304.jpg?christopher-janson-2006-peptide-nucleic-acids-morpholinos-and-related-antisense-biomolecules-medical-intelligence-unit-hardcover-book&class=scaled&v=1408617830)
![Cover for Gavin Lucas · An Archaeology of Colonial Identity: Power and Material Culture in the Dwars Valley, South Africa - Contributions To Global Historical Archaeology (Paperback Book) [2004 edition] (2006)](https://imusic.b-cdn.net/images/item/original/381/9780306485381.jpg?gavin-lucas-2006-an-archaeology-of-colonial-identity-power-and-material-culture-in-the-dwars-valley-south-africa-contributions-to-global-historical-archaeology-paperback-book&class=scaled&v=1408621684)
![Cover for Brain Repair - Advances in Experimental Medicine and Biology (Hardcover Book) [2006 edition] (2005)](https://imusic.b-cdn.net/images/item/original/598/9780306478598.jpg?2005-brain-repair-advances-in-experimental-medicine-and-biology-hardcover-book&class=scaled&v=1750170245)
![Cover for Christopher R. Williams · Theory, Justice, and Social Change: Theoretical Integrations and Critical Applications - Critical Issues in Social Justice (Paperback Book) [Softcover reprint of the original 1st ed. 2004 edition] (2005)](https://imusic.b-cdn.net/images/item/original/213/9780306485213.jpg?christopher-r-williams-2005-theory-justice-and-social-change-theoretical-integrations-and-critical-applications-critical-issues-in-social-justice-paperback-book&class=scaled&v=1404507838)
![Cover for John G. Bruhn · The Sociology of Community Connections (Paperback Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/166/9780306486166.jpg?john-g-bruhn-2005-the-sociology-of-community-connections-paperback-book&class=scaled&v=1408620306)
![Cover for Eleanor Conlin Casella · The Archaeology of Plural and Changing Identities: Beyond Identification (Paperback Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/944/9780306486944.jpg?eleanor-conlin-casella-2005-the-archaeology-of-plural-and-changing-identities-beyond-identification-paperback-book&class=scaled&v=1607505639)
![Cover for Herman Friedman · Infectious Diseases and Substance Abuse - Infectious Agents and Pathogenesis (Hardcover Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/876/9780306486876.jpg?herman-friedman-2005-infectious-diseases-and-substance-abuse-infectious-agents-and-pathogenesis-hardcover-book&class=scaled&v=1608811386)
![Cover for Arthur Freeman · Encyclopedia of Cognitive Behavior Therapy (Hardcover Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/800/9780306485800.jpg?arthur-freeman-2005-encyclopedia-of-cognitive-behavior-therapy-hardcover-book&class=scaled&v=1419944774)
![Cover for Agata Copani · Cell-Cycle Mechanisms and Neuronal Cell Death - Neuroscience Intelligence Unit (Hardcover Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/505/9780306478505.jpg?agata-copani-2005-cell-cycle-mechanisms-and-neuronal-cell-death-neuroscience-intelligence-unit-hardcover-book&class=scaled&v=1540932598)
![Cover for Gerald J. Prud'homme · Gene Therapy of Autoimmune Disease - Medical Intelligence Unit (Hardcover Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/915/9780306479915.jpg?gerald-j-prud-homme-2005-gene-therapy-of-autoimmune-disease-medical-intelligence-unit-hardcover-book&class=scaled&v=1408616644)
![Cover for Pierre Savagner · Rise and Fall of Epithelial Phenotype: Concepts of Epithelial-Mesenchymal Transition - Molecular Biology Intelligence Unit (Hardcover Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/397/9780306482397.jpg?pierre-savagner-2005-rise-and-fall-of-epithelial-phenotype-concepts-of-epithelial-mesenchymal-transition-molecular-biology-intelligence-unit-hardcover-book&class=scaled&v=1408617623)
![Cover for International Commission on Microbiological Specifications for Foods (ICMSF) · Microorganisms in Foods 6: Microbial Ecology of Food Commodities (Hardcover Book) [Second Edition 2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/753/9780306486753.jpg?international-commission-on-microbiological-specifications-for-foods-icmsf-2005-microorganisms-in-foods-6-microbial-ecology-of-food-commodities-hardcover-book&class=scaled&v=1451946756)
![Cover for Handbook of Biomedical Image Analysis: Volume 2: Segmentation Models Part B - Topics in Biomedical Engineering. International Book Series (Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/050/9780306486050.jpg?2005-handbook-of-biomedical-image-analysis-volume-2-segmentation-models-part-b-topics-in-biomedical-engineering-international-book-series-book&class=scaled&v=1622084194)
![Cover for Handbook of Biomedical Image Analysis: Volume 3: Registration Models - Topics in Biomedical Engineering. International Book Series (Hardcover Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/074/9780306486074.jpg?2005-handbook-of-biomedical-image-analysis-volume-3-registration-models-topics-in-biomedical-engineering-international-book-series-hardcover-book&class=scaled&v=1608792291)
![Cover for Jasjit S Suri · Handbook of Biomedical Image Analysis: Volume 1: Segmentation Models Part A - Topics in Biomedical Engineering. International Book Series (Hardcover Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/503/9780306485503.jpg?jasjit-s-suri-2005-handbook-of-biomedical-image-analysis-volume-1-segmentation-models-part-a-topics-in-biomedical-engineering-international-book-series-hardcover-book&class=scaled&v=1664230363)
![Cover for Developmental Neurobiology (Hardcover Book) [4 Rev edition] (2005)](https://imusic.b-cdn.net/images/item/original/301/9780306483301.jpg?2005-developmental-neurobiology-hardcover-book&class=scaled&v=1642497836)
![Cover for Wolfgang B Fischer · Viral Membrane Proteins: Structure, Function, and Drug Design - Protein Reviews (Hardcover Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/957/9780306484957.jpg?wolfgang-b-fischer-2005-viral-membrane-proteins-structure-function-and-drug-design-protein-reviews-hardcover-book&class=scaled&v=1438704826)
![Cover for Viral Genome Packaging: Genetics, Structure, and Mechanism - Molecular Biology Intelligence Unit (Hardcover Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/274/9780306482274.jpg?2005-viral-genome-packaging-genetics-structure-and-mechanism-molecular-biology-intelligence-unit-hardcover-book&class=scaled&v=1603926428)
![Cover for Thermal Conductivity: Theory, Properties, and Applications - Physics of Solids and Liquids (Hardcover Book) [2004 edition] (2005)](https://imusic.b-cdn.net/images/item/original/271/9780306483271.jpg?2005-thermal-conductivity-theory-properties-and-applications-physics-of-solids-and-liquids-hardcover-book&class=scaled&v=1621909475)
![Cover for Tzvi Tzfira · Nuclear Import and Export in Plants and Animals - Molecular Biology Intelligence Unit (Hardcover Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/410/9780306482410.jpg?tzvi-tzfira-2005-nuclear-import-and-export-in-plants-and-animals-molecular-biology-intelligence-unit-hardcover-book&class=scaled&v=1408617697)
![Cover for Modern Morphometrics in Physical Anthropology - Developments in Primatology: Progress and Prospects (Hardcover Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/975/9780306486975.jpg?2005-modern-morphometrics-in-physical-anthropology-developments-in-primatology-progress-and-prospects-hardcover-book&class=scaled&v=1621248032)
![Cover for Enrique Ortega-Rivas · Food Powders: Physical Properties, Processing, and Functionality - Food Engineering Series (Hardcover Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/062/9780306478062.jpg?enrique-ortega-rivas-2005-food-powders-physical-properties-processing-and-functionality-food-engineering-series-hardcover-book&class=scaled&v=1408617150)
![Cover for Mircea M. Steriade · Brain Control of Wakefulness and Sleep (Hardcover Book) [2nd ed. 2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/149/9780306487149.jpg?mircea-m-steriade-2005-brain-control-of-wakefulness-and-sleep-hardcover-book&class=scaled&v=1408621991)
![Cover for Santokh Gill · Glutamate Receptors in Peripheral Tissue: Excitatory Transmission Outside the CNS (Hardcover Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/731/9780306479731.jpg?santokh-gill-2005-glutamate-receptors-in-peripheral-tissue-excitatory-transmission-outside-the-cns-hardcover-book&class=scaled&v=1623545214)
![Cover for Antonioli · Selective Sweep - Molecular Biology Intelligence Unit (Hardcover Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/359/9780306482359.jpg?antonioli-2005-selective-sweep-molecular-biology-intelligence-unit-hardcover-book&class=scaled&v=1408616112)
