152464
Książka
W koszyku
Automatyczne dowodzenie twierdzeń / Zdzisław Pawlak. - Warszawa : PZWS, 1965. - 147 s. ; 21 cm.
(Biblioteczka Matematyczna PZWS i Czasopisma Matematyka ; 19)
Autor
Pawlak Zdzisław.
Temat
Dowód Logika matematyczna
zob. w.bibliotece.pl
Status dostępności:
Tarnów wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 00033179, 33 288 (2 egz.)
Brzesko wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 09291, 07882 (2 egz.)
Recenzje:
Potwierdź wykonanie raportu
Wyprowadzać dodatkowo:
sygnatury
identyfikatory
hasła przedmiotowe
lokalizacja
streszczenia
numer ISBN
hasło sortowania
adres wersji elektronicznej
rozmieszczenie egzemplarzy
opis fizyczny
Sortowanie zestawienia:
Sortowanie pozycji zestawienia:
Sortowanie pozycji zestawienia:
Pozycja została dodana do koszyka. Jeśli nie wiesz, do czego służy koszyk, kliknij tutaj, aby poznać szczegóły.
Nie pokazuj tego więcej