Zarys logiki matematycznej Tom 20 - Andrzej Grzegorczyk - książka wyd. 1975
Opis
Książka „Zarys logiki matematycznej. Tom 20” jest częścią obszernej serii poświęconej logice matematycznej, stanowiącej fundament dla nauk ścisłych, informatyki, matematyki i filozofii. Publikacja skierowana jest do studentów matematyki, informatyki, filozofii, a także badaczy zajmujących się teorią dowodu, teorią mnogości i strukturami formalnymi.
