Formalizace spojky implikace v klasické a neklasické logice – Michal Šedík
Michal Šedík
Master's thesis
Formalizace spojky implikace v klasické a neklasické logice
Formalization of the propositional connective implication in a classical as well as non-classical logic
Language used: Czech
Date on which the thesis was submitted / produced: 26. 6. 2009
Thesis defence
- Date of defence: 29. 6. 2009
- Supervisor: Ivan Chajda
- Reader: Petr Emanovský
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- Soubory jsou od 26. 6. 2009 dostupné: světu
Univerzita Palackého
Přírodovědecká fakultaMaster programme / field:
Fyzika / matematika - fyzika
Theses on a related topic
- No theses on a related topic available.
Name
Posted by
Uploaded/Created
Rights