Carregant...

Codi QR

Topoi, the categorical analysis of logic

Dades bibliogràfiques
Autor principal:	Goldblatt, Robert
Format:	Printed Book
Idioma:	English
Publicat:	Amsterdam North-Holland Publishing Company 1984
Matèries:	Logic > Probabilities > Topology > Set theory > Mathematics > Number theory > Set theory > Group theory > Mathematical sciences

Ítems similars

Topoi the categorial analysis of logic
per: Goldblatt, Robert
Publicat: (2006)

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

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

undergraduate topology
per: Kasriel, Robert Harman
Publicat: (1977)

Logical approach to discrete math
per: Gries, David
Publicat: (1993)

Topology
per: Dungundji, James
Publicat: (1975)

(A) Topological picture book
per: Francis, George K
Publicat: (1987)

Topics in topology
per: Schurle, Arlo W
Publicat: (1979)

Elements of general topology
per: Hu, Sze-Tser
Publicat: (1972)

Elemetns of mathematics: General technology
per: Bourbaki, Nicholas
Publicat: (1966)

General topology
per: Murdeshwar, Mangesh G
Publicat: (1990)

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

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

Topological model theory
per: Flum, Jorg
Publicat: (1980)

Set theory and logic
per: Stoll, Robert R
Publicat: (1963)

Surfaces
per: Griffiths, H B
Publicat: (1976)

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

Piecewise linear topology
per: Hudson, J F P
Publicat: (1969)

Probability based on radon measures
per: Tjur, Tue
Publicat: (1980)

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

History of science and technology in India
per: Jaggi, O P
Publicat: (1969)

Topological vector spaces
per: Treves, Francois
Publicat: (1967)

Algebraic numbers and harmonic analysis
per: Meyer, Yves
Publicat: (1972)

Applications algebraic topology
per: Lefschetz, S
Publicat: (1975)

Algebraic topology
per: Spanier, Edwin H
Publicat: (1977)

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

Proceedings: representation theory of algebras
per: Gordon, Robert
Publicat: (1978)

Algebraic Curves
per: Walker, J Robert
Publicat: (1950)

Studies in constructive matheamatics and mathematical logic
per: Slisenko, A D
Publicat: (1971)

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

algebraic structure of group rings
per: Passman, Donald S
Publicat: (1977)

Topology and borel structure
per: Christensen, J P R
Publicat: (1974)

Coherence in categories
per: Lane, Saunders Mac
Publicat: (1972)

Homology
per: MacLane, Saunders
Publicat: (1975)

Vislesakajyamiti
per: Elayatu
Publicat: (1972)

Solutions manual for techniques of problem solving
per: Fernandez, Luis
Publicat: (1998)

Introduction to knot theory
per: Crowell, Richard H
Publicat: (1963)

Analysis and synthesis of logic systems
per: Mange, Daniel
Publicat: (1979)

Computation of fixed points and applications
per: Michael, Todd
Publicat: (1976)

Hopof algebras
per: Abe, Eiichi
Publicat: (1977)