Deductive Systems and the Decidability Problem for Hybrid Logics

Deductive

by Michal Zawidzki

Paperback

ISBN: 978-83-233-3695-2

ISBN-10: 83-233-3695-4

Jagiellonian University Press · 2014