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
O książce
- Autor
- Cecylia Rauszer
- Lata wydań
- 1980
- Liczba wydań
- 1
- Języki
- angielski
- Rodzaj
- książka
Dostępna w 8 bibliotekach: Biblioteka Jagiellońska (Kraków), Biblioteka Narodowa (Warszawa), Biblioteka Wydziału Matematyki, Informatyki i Mechaniki (Warszawa), Biblioteka Główna Uniwersytetu Gdańskiego (Gdańsk), Biblioteka Główna w Toruniu (Toruń), Biblioteka UMCS (Lublin), Biblioteka Uniwersytecka UWM (Olsztyn), Książnica Pomorska (Szczecin)