Labelled deduction /

Saved in:
Bibliographic Details
Imprint:Dordrecht ; Boston : Kluwer Academic Publishers, c2000.
Description:xi, 266 p. : ill. ; 25 cm.
Language:English
Series:Applied logic series v. 17
Subject:
Format: Print Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/4315894
Hidden Bibliographic Details
Other authors / contributors:Basin, David.
ISBN:0792362373 (hardcover : alk. paper)