دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax, January 16–19, 1971
دانلود کتاب توپوز، هندسه جبری و منطق: دانشگاه دالوشی، هالیفاکس، 16-19 ژانویه 1971
مشخصات کتاب
Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax, January 16–19, 1971
دسته بندی: هندسه و توپولوژی ویرایش: 1 نویسندگان: I. Bucur, J. Giraud, N. Goodman, J. Myhill, L. Illusie, J. Lambek, D. S. Scott, M. Tierney (auth.), F. W. Lawvere (eds.) سری: Lecture Notes in Mathematics 274 ISBN (شابک) : 9780387059204, 0387059202 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1972 تعداد صفحات: 194 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 38,000
کلمات کلیدی مربوط به کتاب توپوز، هندسه جبری و منطق: دانشگاه دالوشی، هالیفاکس، 16-19 ژانویه 1971: ریاضیات عمومی
در صورت تبدیل فایل کتاب Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax, January 16–19, 1971 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب توپوز، هندسه جبری و منطق: دانشگاه دالوشی، هالیفاکس، 16-19 ژانویه 1971 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Front Matter....Pages i-vi
Introduction....Pages 1-12
Sheaf theory and the continuum hypothesis....Pages 13-42
Classifying topos....Pages 43-56
Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic....Pages 57-82
The formalization of Bishop's constructive mathematics....Pages 83-96
Continuous lattices....Pages 97-136
Some applications of the formalism of duality in algebraic geometry....Pages 137-158
Cotangent complex and deformations of torsors and group schemes....Pages 159-189
Back Matter....Pages 191-192
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Matrices and Graphs in Geometry
دانلود کتاب Low Dimensional Topology: Proceedings of a Conference on Low Dimensional Topology, January 12-17, 1998, Funchal, Madeira, Portugal (Contemporary Mathematics)
دانلود کتاب Sign and geometric meaning of curvature
دانلود کتاب Geometry of Single-point Turning Tools and Drills: Fundamentals and Practical Applications
دانلود کتاب Solutions Manual for Geometry: A High School Course by S. Lang and G. Murrow
دانلود کتاب Introduction to topology
دانلود کتاب Differentialgeometrie 007
دانلود کتاب Geometria: Tópicos de História da Matemática
