Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Hybrid Logic and its Proof-Theory
Автор: Brauner T.
This book is a collation of the research on hybrid logic and its proof-theory I have done over a number of years. To be more precise, the book presents a collection of research results originally published in the journal papers listed below. After each paper is an indication of where in the book the results of the paper are presented.