Capa

Dual Tableaux: Foundations, Methodology, Case Studies

SPRINGER
01 / 2013
9789400734364
978-94-0073-436-4
Inglês
Trends in Logic
Ingles