264144
Brak okładki
Książka
W koszyku
Systemy Herbranda dowodzenia twierdzeń rachunku predykatów / Ewa Orłowska ; Polska Akademia Nauk. Centrum Obliczeniowe. - Warszawa : Państ. Wydaw. Naukowe, 1976 (Łódź : ZGWN). - 26, [1] s. ; 25 cm.
Autor
Orłowska Ewa.
Temat
Dowód matematyczny Matematyka
Dziedzina i ujęcie
Matematyka
zob. w.bibliotece.pl
Status dostępności:
Łódź - Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 123384 [Wypożyczalnia], 123385 [Wypożyczalnia], 123386 [Wypożyczalnia] (3 egz.)
Strefa uwag:
Uwaga dotycząca bibliografii
Bibliogr. s. 22-26.
Uwaga dotycząca języka
Streszcz. ang., ros.
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