Lanean...

QR Kodea

Purity, spectra and localisation /

Xehetasun bibliografikoak
Egile nagusia:	Prest, Mike
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	Cambridge ; New York : Cambridge University Press, 2009.
Saila:	Encyclopedia of mathematics and its applications ; v. 121
Gaiak:	Logic, Symbolic and mathematical. Categories (Mathematics)

Antzeko izenburuak

Category theory; an introduction
nork: Herrlich, Horst
Argitaratua: (1973)

Conceptual mathematics : a first introduction to categories /
nork: Lawvere, F. W.
Argitaratua: (1997)

Theory of categories.
nork: Mitchell, Barry
Argitaratua: (1965)

Algebraic theories : a categorical introduction to general algebra /
nork: Adamek, J ing
Argitaratua: (2010)

Categories and functors.
nork: Pareigis, Bodo
Argitaratua: (1970)

Categorical topology : proceedings of the international conference, Berlin, August 27th to September 2nd, 1978 /
nork: Herrlich, Horst.ed
Argitaratua: (1979)

Theory of topological structures : an approach to categorical topology /
nork: Preuss, Gerhard
Argitaratua: (1988)

Homotopy theory of higher categories /
nork: Simpson, Carlos
Argitaratua: (2011)

Set theory, arithmetic, and foundations of mathematics theorems, philosophies
nork: Kennedy, Juliette; ed
Argitaratua: (2011)

Conceptual mathematics a first introduction to categories
nork: Lawvere,F.William
Argitaratua: (2009)

Framework for priority arguments /
nork: Lerman, Manuel
Argitaratua: (2010)

Basic category theory /
nork: Leinster, Tom
Argitaratua: (2014)

Category theory /
nork: Awodey, Steve
Argitaratua: (2010)

Categories for the working mathematician
nork: Mac Lane, Saunders
Argitaratua: (1971)

Categories for the working mathematician /
nork: Mac Lane, Saunders
Argitaratua: (1998)

Category theory /
nork: Awodey, Steve
Argitaratua: (2010)

An introduction to category theory /
nork: Simmons, Harold
Argitaratua: (2011)

Abstract and concrete categories: the joy of cats
nork: Adamek, Jiri, et al.
Argitaratua: (1990)

Infinity new research frontiers
nork: Heller, Michael; ed
Argitaratua: (2011)

Profile of mathematical logic
nork: Delong, Horward
Argitaratua: (1970)

Classical theory of first order logic
nork: Pampapathy Rao, A; Author
Argitaratua: (1970)

Classical theory of first order logic
nork: Pampapathy Rao, A; Author
Argitaratua: (1970)

Logic collequium 2007
nork: Francoise Delon (ed.)
Argitaratua: (2010)

A textbook of logic
nork: Krishna Jain; Author
Argitaratua: (2009)

Introduction to category theory /
nork: Simmons, Harold
Argitaratua: (2011)

Introduction to mathematical logic /
nork: Mendelson, Elliott
Argitaratua: (2010)

Introduction to mathematical logic /
nork: Mendelson, Elliott
Argitaratua: (1964)

Symbolic logic /
nork: Copi, Irving M.
Argitaratua: (1973)

Introduction to symbolic logic /
nork: Basson, A. H., et al.
Argitaratua: (1976)

Introduction to symbolic logic /
nork: Carney, James D.
Argitaratua: (1970)

Introduction to symbolic logic /
nork: Basson, A. H., et al.
Argitaratua: (1976)

A precis of mathematical logic /
nork: Bochenski, Joseph M.
Argitaratua: (1959)

Foundations of the logical theory of scientific knowledge (complex logic) /
nork: Zinoviev, Aleksandr
Argitaratua: (1973)

Course of mathematical logic /
nork: Fraïssé, Roland
Argitaratua: (1973)

An outline of mathematical logic : fundamental results and notions explained with all details /
nork: Grzegorczyk, Andrzej
Argitaratua: (1974)

Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
nork: Beth, Evert W.
Argitaratua: (1962)

A profile of mathematical logic /
nork: DeLong, Howard
Argitaratua: (1970)

Papers in philosophical logic /
nork: Lewis, David K.
Argitaratua: (1998)

Symbolic logic /
nork: Copi, Irving M.
Argitaratua: (1979)

Logical investigations /
nork: Frege, Gottlob
Argitaratua: (1977)