Metadata language
On Satisfiability and Decidability in Non-Classical Functional Calculi
Subtitle:Bulletin de l'Académie Polonaise des Sciences. Classe 3 T.1 (1953) z.6 ; Bulletin de l'Académie Polonaise des Sciences. Classe 3, [Mathématique, Astronomie, Physique, Chimie, Géologie et Géographie].
Creator:Rasiowa, Helena (1917–1994) ; Sikorski, Roman (1920–1983)
Contributor: Publisher: Place of publishing: Date issued/created: Description:24 cm ; Tekst w jęz. angielskim
Type of object: Subject and Keywords:Astronomia -- czasopisma. [KABA] ; Chemia -- czasopisma. [KABA] ; Fizyka -- czasopisma. [KABA] ; Geografia -- czasopisma. [KABA] ; Geologia -- czasopisma. [KABA] ; Matematyka -- czasopisma. [KABA]
Volume: Issue: Start page: End page: Resource type: Format: Source:IM PAN, sygn. cz331 ; click here to follow the link
Language: Rights:Prawa zastrzeżone - dostęp ograniczony
Terms of use: Digitizing institution:Instytut Matematyczny Polskiej Akademii Nauk
Original in:Centralna Biblioteka Matematyczna Instytutu Matematycznego PAN
Projects co-financed by:Program Operacyjny Innowacyjna Gospodarka, lata 2010-2014, Priorytet 2. Infrastruktura strefy B + R ; Unia Europejska. Europejski Fundusz Rozwoju Regionalnego
Access: