On Some Semantic Tableau Proof Procedures for Modal Logic
Published on 1. May 1984
Book
Paperback/Softback
150 pages
978-3-18-143010-1 (ISBN)
More details
Series
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Product notice
Paperback (trade)
Unsewn / adhesive bound
ISBN-13
978-3-18-143010-1 (9783181430101)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification