DUŽÍ, Marie and Pavel MATERNA. TIL jako procedurální logika : průvodce zvídavého čtenáře Transparentní intensionální logikou. 1. vyd. Bratislava: Aleph. 412 s. ISBN 9788089491087. 2012.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name TIL jako procedurální logika : průvodce zvídavého čtenáře Transparentní intensionální logikou
Authors DUŽÍ, Marie and Pavel MATERNA.
Edition 1. vyd. Bratislava, 412 s. 2012.
Publisher Aleph
Other information
ISBN 9788089491087
Changed by The record has been imported from the library system. Changed: 8/8/2022 14:27.
PrintDisplayed: 19/4/2024 16:46