Llwytho...

Côd QR

Purity, spectra and localisation /

Manylion Llyfryddiaeth
Prif Awdur:	Prest, Mike
Fformat:	Printed Book
Iaith:	English
Cyhoeddwyd:	Cambridge ; New York : Cambridge University Press, 2009.
Cyfres:	Encyclopedia of mathematics and its applications ; v. 121
Pynciau:	Logic, Symbolic and mathematical. Categories (Mathematics)

Eitemau Tebyg

Category theory; an introduction
gan: Herrlich, Horst
Cyhoeddwyd: (1973)

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

Theory of categories.
gan: Mitchell, Barry
Cyhoeddwyd: (1965)

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

Categories and functors.
gan: Pareigis, Bodo
Cyhoeddwyd: (1970)

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

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

Homotopy theory of higher categories /
gan: Simpson, Carlos
Cyhoeddwyd: (2011)

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

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

Framework for priority arguments /
gan: Lerman, Manuel
Cyhoeddwyd: (2010)

Basic category theory /
gan: Leinster, Tom
Cyhoeddwyd: (2014)

Category theory /
gan: Awodey, Steve
Cyhoeddwyd: (2010)

Categories for the working mathematician
gan: Mac Lane, Saunders
Cyhoeddwyd: (1971)

Categories for the working mathematician /
gan: Mac Lane, Saunders
Cyhoeddwyd: (1998)

Category theory /
gan: Awodey, Steve
Cyhoeddwyd: (2010)

An introduction to category theory /
gan: Simmons, Harold
Cyhoeddwyd: (2011)

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

Infinity new research frontiers
gan: Heller, Michael; ed
Cyhoeddwyd: (2011)

Profile of mathematical logic
gan: Delong, Horward
Cyhoeddwyd: (1970)

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

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

Logic collequium 2007
gan: Francoise Delon (ed.)
Cyhoeddwyd: (2010)

A textbook of logic
gan: Krishna Jain; Author
Cyhoeddwyd: (2009)

Introduction to category theory /
gan: Simmons, Harold
Cyhoeddwyd: (2011)

Introduction to mathematical logic /
gan: Mendelson, Elliott
Cyhoeddwyd: (2010)

Introduction to mathematical logic /
gan: Mendelson, Elliott
Cyhoeddwyd: (1964)

Symbolic logic /
gan: Copi, Irving M.
Cyhoeddwyd: (1973)

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

Introduction to symbolic logic /
gan: Carney, James D.
Cyhoeddwyd: (1970)

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

A precis of mathematical logic /
gan: Bochenski, Joseph M.
Cyhoeddwyd: (1959)

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

Course of mathematical logic /
gan: Fraïssé, Roland
Cyhoeddwyd: (1973)

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

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

A profile of mathematical logic /
gan: DeLong, Howard
Cyhoeddwyd: (1970)

Papers in philosophical logic /
gan: Lewis, David K.
Cyhoeddwyd: (1998)

Symbolic logic /
gan: Copi, Irving M.
Cyhoeddwyd: (1979)

Logical investigations /
gan: Frege, Gottlob
Cyhoeddwyd: (1977)