Lanean...

QR Kodea

Topoi, the categorical analysis of logic

Xehetasun bibliografikoak
Egile nagusia:	Goldblatt, Robert
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	Amsterdam North-Holland Publishing Company 1984
Gaiak:	Logic > Probabilities > Topology > Set theory > Mathematics > Number theory > Set theory > Group theory > Mathematical sciences

Antzeko izenburuak

Topoi the categorial analysis of logic
nork: Goldblatt, Robert
Argitaratua: (2006)

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

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

undergraduate topology
nork: Kasriel, Robert Harman
Argitaratua: (1977)

Logical approach to discrete math
nork: Gries, David
Argitaratua: (1993)

Topology
nork: Dungundji, James
Argitaratua: (1975)

(A) Topological picture book
nork: Francis, George K
Argitaratua: (1987)

Topics in topology
nork: Schurle, Arlo W
Argitaratua: (1979)

Elements of general topology
nork: Hu, Sze-Tser
Argitaratua: (1972)

Elemetns of mathematics: General technology
nork: Bourbaki, Nicholas
Argitaratua: (1966)

General topology
nork: Murdeshwar, Mangesh G
Argitaratua: (1990)

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

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

Topological model theory
nork: Flum, Jorg
Argitaratua: (1980)

Set theory and logic
nork: Stoll, Robert R
Argitaratua: (1963)

Surfaces
nork: Griffiths, H B
Argitaratua: (1976)

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

Piecewise linear topology
nork: Hudson, J F P
Argitaratua: (1969)

Probability based on radon measures
nork: Tjur, Tue
Argitaratua: (1980)

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

History of science and technology in India
nork: Jaggi, O P
Argitaratua: (1969)

Topological vector spaces
nork: Treves, Francois
Argitaratua: (1967)

Algebraic numbers and harmonic analysis
nork: Meyer, Yves
Argitaratua: (1972)

Applications algebraic topology
nork: Lefschetz, S
Argitaratua: (1975)

Algebraic topology
nork: Spanier, Edwin H
Argitaratua: (1977)

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

Proceedings: representation theory of algebras
nork: Gordon, Robert
Argitaratua: (1978)

Algebraic Curves
nork: Walker, J Robert
Argitaratua: (1950)

Studies in constructive matheamatics and mathematical logic
nork: Slisenko, A D
Argitaratua: (1971)

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

algebraic structure of group rings
nork: Passman, Donald S
Argitaratua: (1977)

Topology and borel structure
nork: Christensen, J P R
Argitaratua: (1974)

Coherence in categories
nork: Lane, Saunders Mac
Argitaratua: (1972)

Homology
nork: MacLane, Saunders
Argitaratua: (1975)

Vislesakajyamiti
nork: Elayatu
Argitaratua: (1972)

Solutions manual for techniques of problem solving
nork: Fernandez, Luis
Argitaratua: (1998)

Introduction to knot theory
nork: Crowell, Richard H
Argitaratua: (1963)

Analysis and synthesis of logic systems
nork: Mange, Daniel
Argitaratua: (1979)

Computation of fixed points and applications
nork: Michael, Todd
Argitaratua: (1976)

Hopof algebras
nork: Abe, Eiichi
Argitaratua: (1977)