- Tytuł pełny:
- An algebraic and Kripke-style approach to a certain extension of intuitionistic logic / Cecylia Rauszer ; Polska Akademia Nauk. Instytut Matematyczny
- Autorzy:
- Rauszer, Cecylia (1942-1994)
- Współtwórcy:
- Państwowe Wydawnictwo Naukowe (1951-1992). Wydawca
- Wydawca:
- Warszawa : Państwowe Wydawnictwo Naukowe
- Rok wydania:
- 1980
- Seria:
- Dissertationes Mathematicae = Rozprawy Matematyczne, 0012-3862 ; 167
- Zawartość serii:
- Dissertationes Mathematicae 0012-3862 167
- Opis fizyczny:
- 67 s. ; 24 cm
- ISBN:
- 8301011033
- Uwagi:
- Bibliogr. s. 59. Indeksy
Dostępne również w formie elektronicznej - Temat:
- Intuicjonizm matematyczny.
- Książka