Loading...

QR Code

Topoi, the categorical analysis of logic

Bibliografiske detaljer
Hovedforfatter:	Goldblatt, Robert
Format:	Printed Book
Sprog:	English
Udgivet:	Amsterdam North-Holland Publishing Company 1984
Fag:	Logic > Probabilities > Topology > Set theory > Mathematics > Number theory > Set theory > Group theory > Mathematical sciences

Lignende værker

Topoi the categorial analysis of logic
af: Goldblatt, Robert
Udgivet: (2006)

Topology of uniform convergence on order bounded sets
af: Wong, Yau-Chuen
Udgivet: (1976)

Studies in topology and analysis on the lattice of topologies and boolean spaces, 1988.
af: Mathew, P. M.
Udgivet: (1988)

undergraduate topology
af: Kasriel, Robert Harman
Udgivet: (1977)

Logical approach to discrete math
af: Gries, David
Udgivet: (1993)

Topology
af: Dungundji, James
Udgivet: (1975)

(A) Topological picture book
af: Francis, George K
Udgivet: (1987)

Topics in topology
af: Schurle, Arlo W
Udgivet: (1979)

Elements of general topology
af: Hu, Sze-Tser
Udgivet: (1972)

Elemetns of mathematics: General technology
af: Bourbaki, Nicholas
Udgivet: (1966)

General topology
af: Murdeshwar, Mangesh G
Udgivet: (1990)

Some problems in set topolgy relating group of homomorphisms and order: Studies on topology and its applications
af: Ramachandran, P T
Udgivet: (1985)

Topology and analysis: The Atiyahsinger Index formula and Gauge theoretic physics
af: Boss, B
Udgivet: (1985)

Topological model theory
af: Flum, Jorg
Udgivet: (1980)

Set theory and logic
af: Stoll, Robert R
Udgivet: (1963)

Surfaces
af: Griffiths, H B
Udgivet: (1976)

Arithmetic in various growths of topological spaces and some applications to number theory
af: Mangalambal, N.R
Udgivet: (1997)

Piecewise linear topology
af: Hudson, J F P
Udgivet: (1969)

Probability based on radon measures
af: Tjur, Tue
Udgivet: (1980)

Exercises in set theory
af: Singler, L. E.

History of science and technology in India
af: Jaggi, O P
Udgivet: (1969)

Topological vector spaces
af: Treves, Francois
Udgivet: (1967)

Algebraic numbers and harmonic analysis
af: Meyer, Yves
Udgivet: (1972)

Applications algebraic topology
af: Lefschetz, S
Udgivet: (1975)

Algebraic topology
af: Spanier, Edwin H
Udgivet: (1977)

Foundations of mathematical biology/ 3Vol. :vol.3 super cellular systems
af: Rosen, Robert
Udgivet: (1963)

Proceedings: representation theory of algebras
af: Gordon, Robert
Udgivet: (1978)

Algebraic Curves
af: Walker, J Robert
Udgivet: (1950)

Studies in constructive matheamatics and mathematical logic
af: Slisenko, A D
Udgivet: (1971)

Basic Concept of Mathematics and Logic
af: Gemignani; Michael C.

algebraic structure of group rings
af: Passman, Donald S
Udgivet: (1977)

Topology and borel structure
af: Christensen, J P R
Udgivet: (1974)

Coherence in categories
af: Lane, Saunders Mac
Udgivet: (1972)

Homology
af: MacLane, Saunders
Udgivet: (1975)

Vislesakajyamiti
af: Elayatu
Udgivet: (1972)

Solutions manual for techniques of problem solving
af: Fernandez, Luis
Udgivet: (1998)

Introduction to knot theory
af: Crowell, Richard H
Udgivet: (1963)

Analysis and synthesis of logic systems
af: Mange, Daniel
Udgivet: (1979)

Computation of fixed points and applications
af: Michael, Todd
Udgivet: (1976)

Hopof algebras
af: Abe, Eiichi
Udgivet: (1977)