Počet záznamů: 1  

Consequence, Inference, Structure

  1. 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  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.