Substituce do výrokových tautologií | Charles Explorer

Substituce do výrokových tautologií

Publikace na Matematicko-fyzikální fakulta |

2007

Abstrakt

Substituce do výrokových tautologií

Klíčová slova

Substitutions propositional tautologies

Osoba