Mechanization of reasoning in a historical perspective / Witold Marciszewski and Roman Murawski.
Opis
Marciszewski, Witold (1930- ).
Mechanization of reasoning in a historical perspective / Witold Marciszewski and Roman Murawski.
Amsterdam ;Atlanta : Rodopi, 1995.
267 stron ; 23 cm.
(Poznań Studies in the Philosophy of the Sciences and the Humanities, ISSN 0303-8157 ; 43)
(Poznań Studies in the Philosophy of the Sciences and the Humanities ISSN 0303-8157 43)
ISBN 90-5183-804-2
Modele matematyczne.
Rozumowanie.
Logika.
M.9527