Antoni Krauz (1801-1831?) zapomniany pionier nauk technicznych, wynalazca i popularyzator (Monografie z dziejów nauki i techniki ; t. 94) (Polish Edition)