Masz w koszyku:
Ilość tytułów: 0 poz. za kwotę: 0 zł
pokaz koszyk
rozwiń menu
tylko:  
mapa kategorii
lista wydawnictw
lista autorów
Księgarnia »
Indeks autorów »
Tomasz Skura

Tomasz Skura - autor

okładka książki - Refutation Methods in Modal Propositional Logic
Tomasz Skura

Refutation Methods in Modal Propositional Logic

Książka. Wydawnictwo: Wydawnictwo Naukowe Semper ; Kategoria: Książki / Książki obcojęzyczne; Rok wydania: 2013; Oprawa: miękka;
Nowa książka prof. Tomasza Skury, wybitnego logika z Uniwersytetu...
26.33 
Wyślemy w czasie: 7 dni
okładka książki - Logika. Tom 20. Aspects of Refutation Procedures in the Intuitionistic Logic and Related Modal Systems
Tomasz Skura

Logika. Tom 20. Aspects of Refutation Procedures in the Intuitionistic Logic and Related Modal Systems

Książka. Wydawnictwo: Wydawnictwo Uniwersytetu Wrocławskiego ; Kategoria: Książki / Książki obcojęzyczne; Oprawa: miękka;
W pracy analizowane jest zagadnienie odrzucania syntaktycznego wyrażeń w pewnych ważnych logikach nieklasycznych. Dotyczy to intuicjonistycznego rachunku zdań (INT) i pewnych rachunków pośrednich, systemu S4 Lewisa, systemu Grzegorczyka (GRZ)...
pozycja niedostępna