• Modely Peanovy aritmetiky a jejích fragmentů 

      Autor: Čačková Lenka; Vedoucí práce: Trlifajová Kateřina; Oponent práce: Kůrka Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-09-05)