Počet záznamů: 1
Consequence, Inference, Structure
- 1.0358356 - ÚI 2012 CZ eng M - Část monografie knihy
Bílková, Marta
Normal Forms, Distributive Laws, and Uniform Interpolants.
Consequence, Inference, Structure. Praha: FF UK, 2008 - (Bílková, M.), s. 35-52. Miscellanea Logica, 7. ISBN 978-80-7308-261-1
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0196430
Počet záznamů: 1