Filter
Sökt på: the eliminators
Den utgåva du söker (isbn 9781910100592)
är slut på förlaget eller av annan anledning inte tillgänglig.
Vi gjorde istället en sökning på titeln the eliminators vilket gav totalt 2 träffar
Vi gjorde istället en sökning på titeln the eliminators vilket gav totalt 2 träffar
Filter
Cut Elimination in Categories
inbunden,
1999,
Engelska,
ISBN 9780792357209
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 …
Methods of Cut-Elimination
inbunden,
2011,
Engelska,
ISBN 9789400703193
This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on …