Dual tableaux : foundations, methodology, case studies /

Bibliographic Details

Main Author:	Orlowska, Ewa
Other Authors:	Golińska-Pilarek, Joanna
Format:	eBook
Language:	English
Published:	Dordrecht [Netherlands] ; New York : Springer, [2011]
Series:	Trends in logic ; v. 36.
Subjects:	Logic. Electronic books.
Online Access:	Connect to the full text of this electronic book