2010, ISBN: 9048152267
[EAN: 9789048152261], Neubuch, [SC: 0.0], [PU: Springer Netherlands], CUT-ELIMINATIONTHEOREM; CATEGORYTHEORY; LOGIC; PROOF; PROOFTHEORY, Druck auf Anfrage Neuware -Proof theory and catego… Más…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Gastos de envío:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9789048152261
Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in … Más…
Indigo.ca new in stock. Gastos de envío:zzgl. Versandkosten., más gastos de envío Details... |
ISBN: 9789048152261
Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in … Más…
Springer.com new in stock. Gastos de envío:zzgl. Versandkosten. (EUR 0.00) Details... |
ISBN: 9789048152261
Paperback, [PU: Springer], Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opp… Más…
BookDepository.com Gastos de envío:Versandkostenfrei. (EUR 0.00) Details... |
2010, ISBN: 9789048152261
Buch, Softcover, Softcover reprint of hardcover 1st ed. 1999, [PU: Springer], Springer, 2010
lehmanns.de Gastos de envío:Versand in 10-14 Tagen. (EUR 0.00) Details... |
2010, ISBN: 9048152267
[EAN: 9789048152261], Neubuch, [SC: 0.0], [PU: Springer Netherlands], CUT-ELIMINATIONTHEOREM; CATEGORYTHEORY; LOGIC; PROOF; PROOFTHEORY, Druck auf Anfrage Neuware -Proof theory and catego… Más…
ISBN: 9789048152261
Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in … Más…
ISBN: 9789048152261
Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in … Más…
ISBN: 9789048152261
Paperback, [PU: Springer], Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opp… Más…
2010, ISBN: 9789048152261
Buch, Softcover, Softcover reprint of hardcover 1st ed. 1999, [PU: Springer], Springer, 2010
Datos bibliográficos del mejor libro coincidente
Autor: | |
Título: | |
ISBN: |
Detalles del libro - Cut Elimination in Categories by K. Dosen Paperback | Indigo Chapters
EAN (ISBN-13): 9789048152261
ISBN (ISBN-10): 9048152267
Tapa dura
Tapa blanda
Año de publicación: 2010
Editorial: K. Dosen
244 Páginas
Peso: 0,374 kg
Idioma: eng/Englisch
Libro en la base de datos desde 2011-07-01T16:51:52-05:00 (Mexico City)
Página de detalles modificada por última vez el 2023-02-06T07:23:58-06:00 (Mexico City)
ISBN/EAN: 9789048152261
ISBN - escritura alterna:
90-481-5226-7, 978-90-481-5226-1
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: dosch, hans much, dose, kosta dosen
Título del libro: cut, categorie
Datos del la editorial
Autor: K. Dosen
Título: Trends in Logic; Cut Elimination in Categories
Editorial: Springer; Springer Netherland
229 Páginas
Año de publicación: 2010-12-09
Dordrecht; NL
Impreso en
Idioma: Inglés
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
XII, 229 p.
BC; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; Cut-elimination theorem; category theory; logic; proof; proof theory; Logic; Mathematical Logic and Foundations; Category Theory, Homological Algebra; Symbolic and Algebraic Manipulation; Mathematik: Logik; Mathematische Grundlagen; Algebra; Mathematik für Informatiker; BB
2. Functors.- 3. Natural Transformations.- 4. Adjunctions.- 5. Comonads.- 6. Cartesian Categories.- Conclusion.- References.Más, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
9789401712071 Cut Elimination in Categories (K. Dosen)
< para archivar...