Normal view MARC view ISBD view

Formalized Mathematics : a computer assisted approach.

Language: English Publication details: Białystok : University of Białystok, 2003-2006.Description: 24 cmISSN:

Subject(s):

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Vol info	Status	Barcode
Czasopisma	Biblioteka Główna Politechniki Częstochowskiej Magazyn Biblioteki Głównej	C 03943	2003 Vol. 11 nr 3-4	Available (Tylko do Czytelni)	16000000044273
Czasopisma	Biblioteka Główna Politechniki Częstochowskiej Magazyn Biblioteki Głównej	C 03943	2004 Vol. 12 nr 1-3	Available (Tylko do Czytelni)	16000000044274
Czasopisma	Biblioteka Główna Politechniki Częstochowskiej Magazyn Biblioteki Głównej	C 03943	2005 Vol. 13 nr 1-4	Available (Tylko do Czytelni)	16000000044275
Czasopisma	Biblioteka Główna Politechniki Częstochowskiej Magazyn Biblioteki Głównej	C 03943	2006 Vol. 14 nr 1/4	Available (Tylko do Czytelni)	16000000044276

Total holds: 0

There are no comments on this title.

to post a comment.