Skip navigation

Please use this identifier to cite or link to this item: http://hdl.handle.net/20.500.12128/5483
Title: Bisymulacje modeli Kripkego dla teorii intuicjonistycznych pierwszego rzędu
Authors: Kruszelnicka, Małgorzata
Advisor: Połacik, Tomasz
Keywords: rachunek intuicjonistyczny; modalność; bisymulacje; model Kripkego
Issue Date: 2014
Publisher: Katowice : Uniwersytet Śląski
Abstract: Rozprawa poświęcona bisymulacjom modeli Kripkego dla teorii intuicjonistycznych pierwszego rzędu.
URI: http://hdl.handle.net/20.500.12128/5483
Appears in Collections:Rozprawy doktorskie (WNŚiT)

Files in This Item:
File Description SizeFormat 
Kruszelnicka_Bisymulacje_modeli_Kripkego.pdf682,89 kBAdobe PDFView/Open
Show full item record


Items in RE-BUŚ are protected by copyright, with all rights reserved, unless otherwise indicated.