Dual Tableaux: Foundations, Methodology, Case Studies (Trends in Logic)

Foundations

by: Ewa Orlowska · Joanna Golińska Pilarek

Hardcover

ISBN: 978-94-007-0004-8

ISBN-10: 94-007-0004-0

Springer · 2010