K. Dosen – författare
Visar alla böcker från författaren K. Dosen. Handla med fri frakt och snabb leverans.
3 produkter
Cut Elimination in Categories
Av K. Dosen
Inbunden, 1999
1643 kr
Lägg i varukorg
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 logic) have not been explained systematically in terms of proof theory. Here it is shown that these notions, in …
Cut Elimination in Categories
Av K. Dosen
Häftad, 2010
1643 kr
Lägg i varukorg
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 logic) have not been explained systematically in terms of proof theory. Here it is shown that these notions, in …
Cut Elimination in Categories
Av K. Dosen
E-bok, 2013
2111 kr
Lägg i varukorg
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 logic) have not been explained systematically in terms of proof theory. Here it is shown that these notions, in …
