Advanced search
Advanced search
Advanced search
Advanced search
Advanced search
Książka = Book ; KS/2/2014/T1P02
Instytut Badań Systemowych. Polska Akademia Nauk ; Systems Research Institute. Polish Academy of Sciences
[4], 23-49 stron ; 21 cm ; Bibliografia s. 47-49
In the present paper an overview of the main definitions and results in the area of intuitionistic logic is presented and new open problems are formulated.
Licencja Creative Commons Uznanie autorstwa 4.0
Zasób chroniony prawem autorskim. [CC BY 4.0 Międzynarodowe] Korzystanie dozwolone zgodnie z licencją Creative Commons Uznanie autorstwa 4.0, której pełne postanowienia dostępne są pod adresem: ; -
Instytut Badań Systemowych Polskiej Akademii Nauk
Biblioteka Instytutu Badań Systemowych PAN
Oct 15, 2021
Jul 19, 2021
49
https://rcin.org.pl./publication/234751
Atanassov, Krassimir Todorov (1954– )
Atanassov, Krassimir Todorov (1954– )
Atanassov, Krassimir Todorov (1954– )
Atanassov, Krassimir Todorov (1954– )
Atanassov, Krassimir Todorov (1954– )
Atanassov, Krassimir Todorov (1954– ) Atanassova, Lilija
Atanassov, Krassimir Todorov (1954– ) Vardeva, Ivelina
Atanassov, Krassimir Todorov (1954– ) Kosev, Kalina Roeva, Olympia