Labelled Deductive Systems: Volume 1: Vol 1 (Oxford Logic Guides)

by Dov M. Gabbay

Hardcover

details (United Kingdom).

ISBN: 978-0-19-853833-2

ISBN-10: 0-19-853833-2

OUP Oxford · 1996