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… mais…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Custos de envio: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 … mais…
Indigo.ca new in stock. Custos de envio:zzgl. Versandkosten., mais custos de envio 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 … mais…
Springer.com new in stock. Custos de envio: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… mais…
BookDepository.com Custos de envio:Versandkostenfrei. (EUR 0.00) Details... |
2010, ISBN: 9789048152261
Buch, Softcover, Softcover reprint of hardcover 1st ed. 1999, [PU: Springer], Springer, 2010
lehmanns.de Custos de envio: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… mais…
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 … mais…
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 … mais…
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… mais…
2010, ISBN: 9789048152261
Buch, Softcover, Softcover reprint of hardcover 1st ed. 1999, [PU: Springer], Springer, 2010
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Cut Elimination in Categories by K. Dosen Paperback | Indigo Chapters
EAN (ISBN-13): 9789048152261
ISBN (ISBN-10): 9048152267
Livro de capa dura
Livro de bolso
Ano de publicação: 2010
Editor/Editora: K. Dosen
244 Páginas
Peso: 0,374 kg
Língua: eng/Englisch
Livro na base de dados desde 2011-07-01T22:51:52+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2023-02-06T13:23:58+00:00 (Lisbon)
Número ISBN/EAN: 9789048152261
Número ISBN - Ortografia alternativa:
90-481-5226-7, 978-90-481-5226-1
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: dosch, hans much, dose, kosta dosen
Título do livro: cut, categorie
Dados da editora
Autor: K. Dosen
Título: Trends in Logic; Cut Elimination in Categories
Editora: Springer; Springer Netherland
229 Páginas
Ano de publicação: 2010-12-09
Dordrecht; NL
Impresso / Feito em
Língua: 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.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9789401712071 Cut Elimination in Categories (K. Dosen)
< Para arquivar...