|
Вид документа : Монографическая серия Шифр издания :
Автор(ы) : Poggiolesi F.
Заглавие : Gentzen calculi for modal propositional logic [Electronic resource]
Выходные данные : Dordrecht : Springer Science+Business Media B.V., 2011 Коллективы :
SpringerLink (Online service) Серия: Trends in logic; 32
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-90-481-9670-8: Б.ц.
Предметные рубрики: Philosophy (general) Computer vision Mathematics Philosophy Philosophy Mathematics, general Computer imaging, vision, pattern recognition and graphics Linguistics (general)
См. : Текст издания Доп.точки доступа: SpringerLink (Online service)
|
|