Cut Elimination in Categories - Trends in Logic - K. Dosen - Knjige - Springer - 9789048152261 - 9. decembra 2010
Če se naslovnica in naslov ne ujemata, je naslov pravilen

K. Dosen
Cut Elimination in Categories - Trends in Logic Softcover reprint of hardcover 1st ed. 1999 edition

Cena
€ 143,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 24. nov - 2. dec
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca K. Dosen

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

Na voljo tudi kot:

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.

241 pages, biography

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 9. decembra 2010
ISBN13 9789048152261
Založniki Springer
Strani 229
Dimenzije 155 × 235 × 13 mm   ·   344 g
Jezik Angleščina  

Več od istega **izdajatelja**

Ogled vseh K. Dosen