Original title: Teorie a algebry formulí
Translated title: Theories and algebras of formulas
Authors: Garlík, Michal ; Mlček, Josef (advisor) ; Glivický, Petr (referee)
Document type: Master’s theses
Year: 2011
Language: cze
Abstract: [cze] [eng]

Keywords: Boolean algebra; first order theory; Lindenbaum algebra; Booleova algebra; Lindenbaumova algebra; teorie prvého řádu

Institution: Charles University Faculties (theses) (web)
Document availability information: Available in the Charles University Digital Repository.
Original record: http://hdl.handle.net/20.500.11956/49617

Permalink: http://www.nusl.cz/ntk/nusl-313906


The record appears in these collections:
Universities and colleges > Public universities > Charles University > Charles University Faculties (theses)
Academic theses (ETDs) > Master’s theses
 Record created 2017-05-09, last modified 2022-03-04


No fulltext
  • Export as DC, NUŠL, RIS
  • Share