An algebraic and Kripke-style approach to certain extension of intuitionistic logicCecylia Rauszer
An algebraic and Kripke-style approach to certain extension of intuitionistic logic
8 bibliotek1 wydanie · 1980
Biblioteka Jagiellońska
Uniwersytet Jagielloński · Krakówstanbardzo niski
Biblioteka Narodowa
Biblioteka Narodowa (Polska) · Warszawastanbardzo niski
Biblioteka Wydziału Matematyki, Informatyki i Mechaniki
Uniwersytet Warszawski · Warszawastanbardzo niski
Biblioteka Główna Uniwersytetu Gdańskiego
Uniwersytet Gdański · Gdańskstanbardzo niski
Biblioteka Główna w Toruniu
Uniwersytet Mikołaja Kopernika w Toruniu · Toruństanbardzo niski
Biblioteka UMCS
Biblioteka Główna Uniwersytetu Marii Curie-Skłodowskiej · Lublinstanbardzo niski
Biblioteka Uniwersytecka UWM
Uniwersytet Warmińsko-Mazurski w Olsztynie · Olsztynstanbardzo niski
Książnica Pomorska
Książnica Pomorska im. Stanisława Staszica w Szczecinie · Szczecinstanbardzo niski
Egzemplarze: Biblioteka Narodowa. Lokalizacje bibliotek m.in.: © współtwórcy OpenStreetMap.