Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer, Series: Trends in Logic, Vol. 33, 2011, pp. xvi+523, 113 illus. ISBN: 978-94-007-0004-8 (hardcover) EURO 181,85, 978-94-007-0005-5 (eBook) EURO 159,99.期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

按检索

Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer, Series: Trends in Logic, Vol. 33, 2011, pp. xvi+523, 113 illus. ISBN: 978-94-007-0004-8 (hardcover) EURO 181,85, 978-94-007-0005-5 (eBook) EURO 159,99.

Authors:	Walter Carnielli

Institution:	1. Centre for Logic, Epistemology and the History of Science - CLE, State University of Campinas - UNICAMP, 13083-859, Campinas, SP, Brazil

Abstract:

Keywords:
本文献已被 SpringerLink 等数据库收录！