Dual tableaux foundations, methodology, case studies

Saved in:

Bibliographic Details
Main Author:	Orlowska, Ewa
Other Authors:	Golinska-Pilarek, Joanna
Format:	Book
Published:	New York Springer 2011
Series:	Trends in logic v. 36
Subjects:	Logic, Symbolic and mathematical
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000n a2200000 a 4501
001	wils-450370
020	#	#	\|a 9789400700048
020	#	#	\|a 9400700040
040	#	#	\|a ITMB
090	0	0	\|a BC135 \|b .O75 2011
100	1	#	\|a Orlowska, Ewa
245	0	0	\|a Dual tableaux \|b foundations, methodology, case studies \|c Ewa Orlowska, Joanna Golinska-Pilarek
260	#	#	\|a New York \|b Springer \|c 2011
300	#	#	\|a xvi, 523 p. \|b ill. \|c 25 cm
490	1	#	\|a Trends in logic \|v v. 36
504	#	#	\|a Includes bibliographical references (p. 495-517) and index
650	#	0	\|a Logic, Symbolic and mathematical
700	1	#	\|a Golinska-Pilarek, Joanna
856	4	0	\|z Click Here to View Status and Holdings. \|u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=450370
964	#	#	\|c BOK \|d CS