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