Katalin Bimbo
Proof Theory
Sequent Calculi and Related Formalisms
Paperback EN 2024 9781032920771Levertijd ongeveer 16 werkdagen
Gratis verzonden
Samenvatting
Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, this book presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from
Specificaties
ISBN13:9781032920771
Taal:EN
Bindwijze:Paperback
Aantal pagina's:386
Uitgever:Taylor & Francis Ltd
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan