Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 4.

Wyniki
		Systemy Herbranda dowodzenia twierdzeń rachunku predykatów / Ewa Orłowska ; Polska Akademia Nauk. Centrum Obliczeniowe. autor Orłowska, Ewa, (1935- ) Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Język: polski Język streszczenia: angielski, rosyjski Szczegóły wydania: Warszawa : Państwowe Wydawnictwo Naukowe, 1976 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: na półce Mg 73978, ... Zamów
		Klasyczny rachunek kwantyfikatorów : zarys teorii / Witold A. Pogorzelski. autor Pogorzelski, Witold Adam, (1927- ) Państwowe Wydawnictwo Naukowe (1951-1992) [pbl] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Warszawa : Państwowe Wydawnictwo Naukowe, 1981 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (5)Lokalizacja, sygnatura: w czytelni A 179868, ... Zamów
		Tableau systems for first order number theory and certain higher order theories / Sue Toledo. autor Toledo, Sue Ann, (1940- ) Serie: Lecture Notes in Mathematics ; 447 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1975 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 160449.
		The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff. autor Ferrante, Jeanne, (1949- ) Rackoff, Charles W, (1948- ) Serie: Lecture Notes in Mathematics ; 718 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1979 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 160633.