دانلود کتاب 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

قیمت : 20000 تومان

فهرست :



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





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

دانلود کتاب Atlas of Aesthetic Breast Surgery

دانلود کتاب Neurologie für Praktiker

دانلود کتاب Angry White Pyjamas

دانلود کتاب Dynamic Joga

دانلود کتاب Pocket Atlas of Sectional Anatomy, Computed Tomography and Magnetic Resonance Imaging: Thorax, Heart, Abdomen, and Pelvis

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

دانلود کتاب Smarty PHP Template Programming And Applications

دانلود کتاب Drupal For Dummies

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

دانلود کتاب Accounting Information Systems, 7th Edition

دانلود کتاب Programming Reactive Extensions and Linq

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

دانلود کتاب Precalculus with Limits

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

دانلود کتاب A first course in Wavelets with Fourier analysis

دانلود کتاب Wavelets and Filter Banks

دانلود کتاب Industrial Control Systems: Advances and Applications, First Edition (Repost)

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

دانلود کتاب Amyloid Proteins: Methods and Protocols

دانلود کتاب Fundamentals of Superconducting Nanoelectronics

دانلود کتاب Solid Lubrication Fundamentals & Applications (Materials Engineering)

دانلود کتاب Welding and Joining of Magnesium Alloys (Woodhead Publishing in Materials)

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

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

دانلود کتاب Confucianism

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

دانلود کتاب Religion and Society in Roman Palestine: Old Questions, New Approaches

دانلود کتاب Religions of the World: A Comprehensive Encyclopedia of Beliefs and Practices

دانلود کتاب Buddhism

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

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

دانلود کتاب Feminist Stylistics

دانلود کتاب Pedagogy, Oppression and Transformation in a 'Post-Critical' Climate: The Return to Freirean Thinking

دانلود کتاب The Little Blue Reasoning Book: 50 Powerful Principles for Clear and Effective Thinking

دانلود کتاب Thinking, Fast and Slow

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

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

دانلود کتاب The Royal Navy: A History From The Earliest Times To 1900 Vol.III

دانلود کتاب The Nazi Germany Sourcebook: An Anthology of Texts

دانلود کتاب Arthur L Bowley: A Pioneer in Modern Statistics and Economics

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

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

دانلود کتاب Biodiversity

دانلود کتاب Biologie von Parasiten

دانلود کتاب God's Healing Leaves

دانلود کتاب Cellulase : types and action, mechanism, and uses

دانلود کتاب Biointerface Characterization by Advanced IR Spectroscopy

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

دانلود کتاب Management Accounting for Decision Makers, 5th Edition

دانلود کتاب The Economist - 19 May 2001

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

دانلود کتاب Essentials of Strategic Management

دانلود کتاب Credit Management Kit for Dummies

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

دانلود کتاب Learning SQL

دانلود کتاب Method of Discrete Vortices

دانلود کتاب Joomla! For Dummies

دانلود کتاب Sams Teach Yourself Adobe Photoshop CS3 in 24 Hours

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

کتاب های حقوق

دانلود کتاب Legal ethics and human dignity

دانلود کتاب British Government and the Constitution: Text and Materials (Law in Context)

دانلود کتاب The Philosophy of Law: An Encyclopedia (Garland Reference Library of the Humanities) (2 Volumes)

دانلود کتاب Local remedies in international law

دانلود کتاب American Frontier Lawmen 1850 -1930

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

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

دانلود کتاب The Democracy Deficit: Taming Globalization Through Law Reform

دانلود کتاب TITANIC A Screenplay By James Cameron

دانلود کتاب CULTURAL POPULISM CL

دانلود کتاب Civic Talk: Peers, Politics, and the Future of Democracy (Social Logic of Politics)