Автор: Dov M. Gabbay Название: Semantical Investigations in Heyting`s Intuitionistic Logic ISBN: 9048183626 ISBN-13(EAN): 9789048183623 Издательство: Springer Рейтинг: Цена: 27944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: From the point of view of non-classical logics, Heyting`s implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt- ing`s implication.
Автор: M.J. Cresswell Название: Semantical Essays ISBN: 9048182417 ISBN-13(EAN): 9789048182411 Издательство: Springer Рейтинг: Цена: 21655.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Over a longer period than I sometimes care to contemplate I have worked on possible-worlds semantics. The earliest work was in modal logic, to which I keep returning, but a sabbatical in 1970 took me to UCLA, there to discover the work of Richard Montague in applying possible-worlds semantics to natural lan- guage.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
