English
Deutsch
Français
简体中文
繁體中文
Categories
Study
-- IT Certification
-- Mathematics
-- Physics
Novel
Nonfiction
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
Advances in Complex Function Theory (Lecture Notes in Mathematics) by W. E. Kirwan (Repost)
Matrix Mathematics - Theory, Facts, and Formulas, Second Edition
Mathematics Probability, Markov Chains, Queues, and Simulation - The Mathematical Basis of Performance Modeling
Algebraic Aspects of Cryptography (Algorithms and Computation in Mathematics) by Neal Koblitz (Repost)
Mathematics Mathematical Foundations of Computer Science 2004 [Repost]
Mathematics Mathematical Logic for Computer Science (3rd edition)
Spaces of Holomorphic Functions in the Unit Ball (Graduate Texts in Mathematics) by Kehe Zhu (Repost)
An Introduction to Ergodic Theory (Graduate Texts in Mathematics) by Peter Walters (Repost)
Mathematics Symmetry Theory in Molecular Physics with Mathematica: A new kind of tutorial book (Repost)
-Mathematics for the Physical Sciences- by Herbert S. Wilf
Mathematics for Elementary Teachers - A Conceptual Approach, 9 edition
Computer-Enabled Mathematics - Integrating Experiment and Theory in Teacher Education
How to Fold It - The Mathematics of Linkages, Origami and Polyhedra
Mathematics Engineering Analysis: Interactive Methods and Programs with FORTRAN, QuickBASIC, MATLAB, and Mathematica [Repost]
Mathematics Maverick Mathematician: The Life and Science of J.E. Moyal
African Mathematics: From Bones to Computers (repost)
Topology (Allyn and Bacon Series in Advanced Mathematics) by James Dugundji
Mathematics Fundamentals of Algebraic Modeling - An Introduction to Mathematical Modeling with Algebra and Statistics, 5 edition
Mathematics LMSST - 24 Lectures on Elliptic Curves (London Mathematical Society Student Texts) by J. W. S. Cassels
Useful Links
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)
Posted on 2010-04-13
|  |
Author: P. J. Scott, J. Lambek
Publisher: Cambridge University Press (1988) Binding: Paperback, 304 pages pricer: $50.00 ISBN-10: 0521356539 editorialreviews In this volume, Lambek and Scott reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher-order logic, and cartesian closed categories, are essentially the same. Part II demonstrates that another formulation of higher-order logic, (intuitionistic) type theories, is closely related to topos theory. Part III is devoted to recursive functions. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. The authors have included an introduction to category theory and develop the necessary logic as required, making the book essentially self-contained. Detailed historical references are provided throughout, and each section concludeds with a set of exercises.
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
|
No download url, please check the above content. Free download from UseNet >> Can not download? Search other download URLs here >> Buy This Book at Best Price >> | |
Related Articles
 | Science/Engineering Riemannian Geometry: A Modern Introduction (Cambridge Studies in Advanced Mathematics) Riemannian Geometry: A Modern Introduction (Cambridge Studies in Advanced Mathematics)Cambridge University Press | 2006-04-10 | ISBN: 0521619548 | 488 Pages | 4.23 MB | PDFRequiring only an understanding of differentiable manifolds, Isaac C ... |
 | Science/Engineering Introduction to Higher-Order Categorical Logic J. Lambek, P. J. Scott “Introduction to Higher-Order Categorical Logic" Cambridge University Press | 1988-03-25 | ISBN: 0521356539 | 304 pages | PDF | 30 MB |
 | Study Ultrametric Calculus: An Introduction to p-Adic Analysis (Cambridge Studies in Advanced Mathematics) W. H. Schikhof "Ultrametric Calculus: An Introduction to p-Adic Analysis (Cambridge Studies in Advanced Mathematics)"Cambridge University Press | English | 2007-02-12 | ISBN: 0521032873 | 320 pages | PDF | 1,4 MBThis is an introduction to p ... |
 | Analysis on Lie Groups: An Introduction (Cambridge Studies in Advanced Mathematics) Author: Jacques FarautPublisher: Cambridge University Press (2008)Binding: Hardcover, 312 pagespricer: $80.00ISBN-10: 0521719305editorialreviewsThis self-contained text concentrates on the perspective of analysis, assuming only elementary k ... |
 | An Introduction to Homological Algebra (Cambridge Studies in Advanced Mathematics) Author: Charles A. WeibelPublisher: Cambridge University Press (1994)Binding: Hardcover, 464 pagespricer: $80.00ISBN-10: 0521435005editorialreviewsThe landscape of homological algebra has evolved over the past half-century into a fundamenta ... |
 | Realizability, Volume 152: An Introduction to its Categorical Side (Studies in Logic and the Foundations of Mathematics) Author: Jaap van OostenPublisher: Elsevier Science (2008)Binding: Hardcover, 328 pagespricer: $150.00ISBN-10: 0444515844editorialreviewsAimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction ... |
Comments (0)
