Wow! eBookProof Theory: Sequent Calculi and Related Formalisms
by: Bimbo, Katalin
Publisher: Taylor and Francis ( 2014-08-20 )
ISBN-13: 9781466564664
e-ISBN-13: 9781466564688
ISBN-10: 1466564660
Language: English
Proof Theory: Sequent Calculi and Related Formalisms
相关推荐
Networks, Games, and Dynamics: From Dynamical Systems and Stochastic Analysis to Transportation Theory and Optimal Control- Modelling with Ordinary Differential Equations: A Comprehensive Approach 2nd Edition
- Handbook of Special Functions: Derivatives, Integrals, Series and Other Formulas
- Cryptography: How Mathematics Protects Our Digital World
