Labelled Deduction (APPLIED LOGIC SERIES Volume 17)

Labelled

by: Sean Matthews · Luca Vigano

Hardcover

ISBN: 978-0-7923-6237-1

ISBN-10: 0-7923-6237-3

Springer · 2000