Aspects of refutation procedures in the intuitionistic logic and related modal systems /

Dopowiedzenie klasyfikacji (UKD):

Logistyka. Rachunek logiczny. Logika formalna. Logika symboliczna. Znaki i symbolika w logice formalnej. Podstawowe formuły i prawa logiczne. Rachunek zdań. Logika relacji.

Hasła przedmiotowe:

Logika.

Rodzaj dokumentu:
Książka

URL:

Wyszukaj