دانلود کتاب Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995

عنوان فارسی :

دانلود کتاب بیست و پنج ساله نظریه نوع سازه: مقالات کنگره در ونیز، اکتبر 1995 برگزار شد

عنوان انگلیسی :

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995

زبان : English

موضوع : Mathematics->Logic

نویسندگان : Giovanni Sambin Jan M. Smith

ناشر : Oxford University Press

ISBN (شابک) : 0198501277, 9780198501275

تعداد صفحات : 292\292

سال نشر : 1998     ویرایش :

حجم : 14 MB       فرمت : pdf

قیمت : 4000 تومان

فهرست :



Table of contents :
Contents......Page 9
1. Yet another constructivization of classical logic......Page 10
2. Extension of Martin-Löf's type theory with record types and subtyping......Page 30
3. Type-theoretical checking and philosophy of mathematics......Page 50
4. The Hahn-Banach theorem in type theory......Page 66
5. A realizability interpretation of Martin-Löf's type theory......Page 82
6. The groupoid interpretation of type theory......Page 92
7. Analytic program derivation in type theory......Page 122
8. An intuitionistic theory of types......Page 136
9. On storage operators......Page 182
10. On universes in type theory......Page 200
11. How to believe a machine-checked proof......Page 214
12. Building up a toolbox for Martin-Löf's type theory: subset theory......Page 230
13. An introduction to well-ordering proofs in Martin-Löf's type theory......Page 254
14. Variable-free formalization of the Curry-Howard theory......Page 274
15. The forget-restore principle: a paradigmatic example......Page 284




کتاب های پزشکی

دانلود کتاب Radiation Oncology: Rationale, Technique, Results, 9th Edition

دانلود کتاب Paravasation von Zytostatika: Ein Kompendium für Prävention und Therapie

دانلود کتاب Interpretation of canine and feline urinalysis

دانلود کتاب diFiore's Atlas of Histology with Functional Correlations (Point (Lippincott Williams & Wilkins))

دانلود کتاب llustrated Light on Yoga

کتاب های کامپیوتر

دانلود کتاب Oracle E-Business Suite 12 Financials Cookbook

دانلود کتاب wxPython 2.8 Application Development Cookbook

دانلود کتاب C# Programming: From Problem Analysis to Program Design, 3rd Edition

دانلود کتاب Creative Visualization For Dummies (For Dummies (Psychology & Self Help))

دانلود کتاب Embedded C Programming and the Atmel AVR, 2nd Edition

کتاب های ریاضی

دانلود کتاب More Concise Algebraic Topology: Localization, Completion, and Model Categories (Chicago Lectures in Mathematics)

دانلود کتاب Latent Variable Models: An Introduction to Factor, Path, and Structural Equation Analysis

دانلود کتاب Probability, Statistics, and Random Processes For Electrical Engineering, 3rd Edition

دانلود کتاب Multirate and Wavelet Signal Processing

دانلود کتاب A Path to Combinatorics for Undergraduates: Counting Strategies

کتاب های تکنولوژی

دانلود کتاب Silicon Devices and Process Integration: Deep Submicron and Nano-Scale Technologies

دانلود کتاب Advanced Technology for Design and Fabrication of Composite Materials and Structures: Applications to the Automotive, Marine, Aerospace and Construction Industry

دانلود کتاب Protein Folding Protocols

دانلود کتاب Atomic clusters and nanoparticles

دانلود کتاب Nanoscale Multifunctional Materials: Science & Applications

کتاب های مذهبی

دانلود کتاب Assessing the New Testament Evidence for the Historicity of the Resurrection of Jesus: 016 (Studies in the Bible and Early Christianity)

دانلود کتاب Glorious Appearing: The End of Days (Left Behind)

دانلود کتاب The World's Great Philosophers

دانلود کتاب Recapture the Wonder: Experience God's Amazing Promise of Childlike Joy

دانلود کتاب La pratica esoterica

کتاب های فیزیولوژی

دانلود کتاب Bilingual Youth: Spanish in English-speaking societies

دانلود کتاب The Great Escape: The 10 Secrets to Loving Your Life and Living Your Dreams

دانلود کتاب Stalking, Threatening, and Attacking Public Figures: A Psychological and Behavioral Analysis

دانلود کتاب MAT: Power Practice

دانلود کتاب The concept of being in Hegel and Heidegger (Abhandlungen zur Philosophie, Psychologie, und Padagogik ; Bd. 116)

کتاب های تاریخی

دانلود کتاب Spitfire Mk.I-II

دانلود کتاب Republic RF-84F Thunderflash

دانلود کتاب Sea Eagles Volume One: Luftwaffe Anti-Shipping Units 1939-1941 (Luftwaffe Colours)

دانلود کتاب Ancient Greece (Grades 4-8)

دانلود کتاب History of Warfare: War In The Air 1914-45

کتاب های زیست شناسی

دانلود کتاب Biological Petri Nets - Volume 162 Studies in Health Technology and Informatics

دانلود کتاب Mechanobiology Handbook

دانلود کتاب Botanical Medicine: From Bench to Bedside

دانلود کتاب Taifun

دانلود کتاب Ami yarn plants. Crocheted Accessories

کتاب های اقتصاد

دانلود کتاب The Economist - 18 August 2001

دانلود کتاب What Investors Really Want: Know What Drives Investor Behavior and Make Smarter Financial Decisions

دانلود کتاب Accounting for Decision Making and Control, 7th Edition

دانلود کتاب Inside Marketing: Practices, Ideologies, Devices

دانلود کتاب Corporate Value of Enterprise Risk Management: The Next Step in Business Management

کتاب های آموزشی

دانلود کتاب New Retail

دانلود کتاب Towards a New Architecture

دانلود کتاب Animals and Me

دانلود کتاب Really learn. 100 phrasal verbs for business

دانلود کتاب Teach Yourself Visually Sock Knitting

کتاب های حقوق

دانلود کتاب Human Rights And Capitalism: A Multidisciplinary Perspective on Globalisation (Corporations, Globalisation and the Law Series)

دانلود کتاب Analysis of evidence

دانلود کتاب The Four-Masted Barque Lawhill

دانلود کتاب The Encyclopedia Of International Organized Crime (Facts on File Crime Library)

دانلود کتاب The Killer Book of True Crime: Incredible Stories, Facts and Trivia from the World of Murder and Mayhem

کتاب های علوم انسانی

دانلود کتاب Geopolitics: A Guide to the Issues (Contemporary Military, Strategic, and Security Issues)

دانلود کتاب Culture and Customs of Laos (Culture and Customs of Asia)

دانلود کتاب The Politics of Inequality in Russia

دانلود کتاب The Future of Power

دانلود کتاب Art And Social Change: Contemporary Art In Asia And The Pacific