Sheaves in Geometry and Logic
2024 Kč
Sleva až 70% u třetiny knih
Sheaves also appear in logic as carriers for models of set theory. Beginning with several examples, it explains the underlying ideas of topology and sheaf theory as well as the general theory of elementary toposes and geometric morphisms and their relation to logic.
Autor: | MacLane, Saunders; Birkhoff, Garrett |
Nakladatel: | Springer-Verlag New York Inc. |
ISBN: | 9780387977102 |
Rok vydání: | 1992 |
Jazyk : | Angličtina |
Vazba: | Paperback / softback |
Počet stran: | 630 |
Mohlo by se vám také líbit..
-
Medical Informatics
-
Statistics and Analysis of Scientifi...
Bonamente, Massimiliano
-
An Introduction to Homological Algebra
Rotman, Joseph J.
-
Mathematics and Its History
Stillwell, John
-
A First Course in Bayesian Statistica...
Peter Hoffmann
-
Exploring Science Through Science Fi...
Luokkala, Barry B.
-
Handbook of Neurochemistry and Molec...
-
Mitochondria and the Heart
-
Handbook of Marriage and the Family
-
Geometry
Borovik, Alexandre V.; White, Neil; Gelfand, Israel M.
-
Opioids in Medicine
Freye, Enno
-
Modern Food Microbiology
Jay, James M.; Loessner, Martin J.; Golden, David A.
-
Fundamentals of Radiation Materials ...
Was, Gary S.
-
Instructional Design: The ADDIE Appr...
Branch, Robert Maribe
-
Mathematical Biology
Murray, James T.
-
Differential Forms in Algebraic Topo...
Bott, Raoul; Tu, Loring W.