Systemy Herbranda dowodzenia twierdzeń rachunku predykatówEwa Orłowska
Systemy Herbranda dowodzenia twierdzeń rachunku predykatów
10 bibliotek1 wydanie · 1976
O książce
- Autor
- Ewa Orłowska
- Lata wydań
- 1976
- Liczba wydań
- 1
- Języki
- polski
- Rodzaj
- książka
Dostępna w 10 bibliotekach: Biblioteka Wydziału Matematyki I Informatyki (Kraków), Biblioteka Jagiellońska (Kraków), Biblioteka Narodowa (Warszawa), Filia Biblioteki PG: Elektronika, Telekomunikacja i Informatyka (Gdańsk), Biblioteka Główna UMG (Gdynia), Biblioteka Główna w Toruniu (Toruń), Biblioteka na Koszykowej (Warszawa), Biblioteka Wydziału Fizyki, Astronomii I Informatyki Stosowanej (Kraków), Filia Biblioteki PG: Chemia, Fizyka i Matematyka (Gdańsk), Filia Biblioteki PG: Elektrotechnika i Automatyka (Gdańsk)