Зведений каталог бібліотек Києва

 

1
JaspJaspars, Johannes.
    Calculi for constructive communication. A study of the dynamics of partial states [Текст] : Proefschrift ter verkijging van de graad van doctor aan de Katholieke universiteit Brabant... / J. Jaspars, M. Ogier; Universiteit van Amsterdam, Institute for logic, language and computation. — Amsterdam : [S. n.], 1994. — 218 p.
ISBN 90-74795-08-0


- Ключові слова:

конструктивна логіка, конструктивная логика, constructive logic

- Теми документа

  • ББК науковий // Класична та конструктивна логіка. Інтуїціоністська логіка. Оперативна логіка



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . н - наукова 1 Перейти на сайт