Ta osoba nie ma jeszcze biografii w serwisie Granice.pl Jeśli chcesz, by to się zmieniło, prześlij nam tekst o niej na pr@wwpol.com
Książka jest poświęcona zbudowaniu i zbadaniu dwóch logik nieklasycznych, należących do grupy pozycyjnych logik temporalnych. Sformalizowano zwrot "w czasie", zwany funktorem realizacji czasowej...czytaj dalej