Systemy Herbranda dowodzenia twierdzeń rachunku predykatówEwa Orłowska
Systemy Herbranda dowodzenia twierdzeń rachunku predykatów
10 bibliotek1 wydanie · 1976
Biblioteka Wydziału Matematyki I Informatyki
Uniwersytet Jagielloński · Krakówstanbardzo niski
Biblioteka Jagiellońska
Uniwersytet Jagielloński · Krakówstanbardzo niski
Biblioteka Narodowa
Biblioteka Narodowa (Polska) · Warszawastanbardzo niski
Filia Biblioteki PG: Elektronika, Telekomunikacja i Informatyka
Biblioteka Politechniki Gdańskiej · Gdańskstanbardzo niski
Biblioteka Główna UMG
Uniwersytet Morski w Gdyni · Gdyniastanbardzo niski
Biblioteka Główna w Toruniu
Uniwersytet Mikołaja Kopernika w Toruniu · Toruństanbardzo niski
Biblioteka na Koszykowej
Biblioteka Publiczna m.st. Warszawy - Biblioteka Główna Województwa Mazowieckiego · Warszawastanbardzo niski
Biblioteka Wydziału Fizyki, Astronomii I Informatyki Stosowanej
Uniwersytet Jagielloński · Krakówstanbardzo niski
Filia Biblioteki PG: Chemia, Fizyka i Matematyka
Biblioteka Politechniki Gdańskiej · Gdańskstanbardzo niski
Filia Biblioteki PG: Elektrotechnika i Automatyka
Biblioteka Politechniki Gdańskiej · Gdańskstanbardzo niski
Egzemplarze: Biblioteka Narodowa. Lokalizacje bibliotek m.in.: © współtwórcy OpenStreetMap.