http://hdl.handle.net/20.500.12128/5483| Tytuł: | Bisymulacje modeli Kripkego dla teorii intuicjonistycznych pierwszego rzędu |
| Autor: | Kruszelnicka, Małgorzata |
| Promotor: | Połacik, Tomasz |
| Słowa kluczowe: | rachunek intuicjonistyczny; modalność; bisymulacje; model Kripkego |
| Data wydania: | 2014 |
| Wydawca: | Katowice : Uniwersytet Śląski |
| Abstrakt: | Rozprawa poświęcona bisymulacjom modeli Kripkego dla teorii intuicjonistycznych pierwszego rzędu. |
| URI: | http://hdl.handle.net/20.500.12128/5483 |
| Pojawia się w kolekcji: | Rozprawy doktorskie (WNŚiT) |
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Kruszelnicka_Bisymulacje_modeli_Kripkego.pdf | 682,89 kB | Adobe PDF | Przejrzyj / Otwórz |
Wszystkie pozycje w RE-BUŚ są chronione prawem autorskim chyba, że zostało wskazane inaczej.