Introduction to Higher-Order Categorical Logic
1813 Kč
Sleva až 70% u třetiny knih
This work attempts to reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. It contains an introduction to category theory and a set of exercises which accompanies each section.
| Autor: | Lambek, J.; Scott, P. J. |
| Nakladatel: | Cambridge University Press |
| ISBN: | 9780521356534 |
| Rok vydání: | 1988 |
| Jazyk : | Angličtina |
| Vazba: | Paperback |
| Počet stran: | 304 |
Mohlo by se vám také líbit..
-
Philosophy: Themes and Thinkers
Wright Padraig, Stern Julian, Phelan Michael
-
Stand out of our Light
Jameson Gardner, Williams Elliott
-
Political Self-Deception
Galeotti, Anna Elisabetta
-
Georg Wilhelm Friedrich Hegel: The S...
Hegel, Georg
-
Mortal Questions
Nagel, Thomas
-
Nietzsche: The Gay Science
Friedrich Nietzsche
-
The Singular Universe and the Reality...
Unger, Roberto Mangabeira
-
Ethics and Science
Briggle, Adam (University of North Texas); Mitcham, Carl
-
Morality
Williams, Bernard
-
The Relevance of the Beautiful and Ot...
Hans-Georg Gadamer
-
Commerce and Manners in Edmund Burke...
Gregory, Alex; Collins Kids
-
Process Tracing
-
German Philosophy 1760-1860
Pinkard, Terry P.
-
Immanuel Kant: Prolegomena to Any Fu...
Immanuel Kant
-
Nietzsche\'s The Gay Science
Ure, Michael (Monash University, Victoria)
-
Decoding Theory of Knowledge for the...
Heydorn, Wendy; Jesudason, Susan
