Capa

Dual Tableaux: Foundations, Methodology, Case Studies

SPRINGER
11 / 2010
9789400700048
978-94-0070-004-8
Inglês
Trends in Logic
Ingles