Mleziva, Miroslav, 1929-1990
Mleziva, Miroslav 1929-1989
Miroslav Mleziva
Mleziva, Miroslav
VIAF ID: 76813678 ( Personal )
Permalink: http://viaf.org/viaf/76813678
Preferred Forms
- 100 0 _ ‡a Miroslav Mleziva
-
-
- 100 1 _ ‡a Mleziva, Miroslav ‡d 1929-1989
- 100 1 _ ‡a Mleziva, Miroslav, ‡d 1929-1990
-
- 100 1 _ ‡a Mleziva, Miroslav, ‡d 1929-1990
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Analyticity and Sense | |
Kaj je logika | |
O logice matematycznej i metodzie dedukcyjnej | |
Logika, avtomaty, algoritmy | |
Die mittelbare Axiomatisierung der die Implikation enthaltenden Systeme des zweiwertigen Aussagenkalküls | |
Neklasické logiky | |
O trojhodnotové logice, 1964: | |
Über das Enthaltensein des klassischen Aussagenkalküls in den nicht-klassischen Aussagenkalkülen | |
Úvod do logiky a metodologie deduktivních věd |