Algebraic methods in logic and in computer science /

Hasło dodatkowe:: Rauszer, Cecylia (1942-1994). Red.
Odpowiedzialność:: ed. Cecylia Rauszer.
Miejsce:: Warszawa :
Wydany przez :: Instytut Matematyczny PAN,
w roku:: 1993.
Opis fizyczny:: 342 s. : il. ; 24 cm.
Seria:: (Banach Center Publications ISSN 0137-6934 28)
(Banach Center Publications, 0137-6934 ; vol. 28)
Uwagi:: Bibliogr. przy rozdz.
ISBN:: 83-85116-92-3
UKD:: 510.6:512.5:519.68]=20

Dopowiedzenie klasyfikacji (UKD):
Hasła przedmiotowe:: Informatyka
Informatyka -- konferencje.
konferencje.
Logika algebraiczna
Logika algebraiczna -- konferencje.
Rodzaj dokumentu:: Książka

Tylko dostępne

Egzemplarz
miejsce	numer inwentarzowy	sygnatura	status	data zwrotu	ostatnia akcja w systemie	akcje
BG N.18010 Tylko na miejscu	N.18010	BG - Podręczny księgozbiór - seria Banach Center Publications N.18821/28	Tylko na miejscu		17/04/2007	Na miejscu