Sheaves in Geometry and Logic
2088 Kč
Odesíláme do 5 až 7 dní
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..
-
A First Course in Bayesian Statistica...
Peter Hoffmann
-
An Introduction to Homological Algebra
Rotman, Joseph J.
-
Mathematics and Its History
Stillwell, John
-
Basic Mathematics
Lang, Serge
-
A Course in Mathematical Statistics a...
Bhattacharya, Rabi; Waymire, Edward C.
-
Linear Algebra
Lang, Serge
-
Complex Analysis
Gamelin, Theodore W.
-
p-adic Numbers, p-adic Analysis, and...
Koblitz Neal
-
Categories for the Working Mathemati...
MacFarlane Ben
-
Applications of Lie Groups to Differ...
Olver, Peter J.
-
Complex Analysis
Lang, Serge
-
Naive Lie Theory
Stillwell, John
-
Lectures on Riemann Surfaces
Forster, Otto
-
Groups and Symmetry
Armstrong, Mark A.
-
Differential Forms in Algebraic Topo...
Bott, Raoul; Tu, Loring W.
-
Functions of One Complex Variable I
Conway, John H.