Mechanization of Reasoning in a Historical Perspective / / Witold Marciszewski, Roman Murawski.
This volume is written jointly by Witold Marciszewski, who contributed the introductory and the three subsequent chapters, and Roman Murawski who is the author of the next ones - those concerned with the 19th century and the modern inquiries into formalization, algebraization and mechanization of re...
Saved in:
VerfasserIn: | |
---|---|
TeilnehmendeR: | |
Place / Publishing House: | Leiden : : BRILL,, 1995. |
Year of Publication: | 1995 |
Edition: | 1st ed. |
Language: | English |
Series: | Poznań Studies in the Philosophy of the Sciences and the Humanities Series
|
Physical Description: | 1 online resource. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Electronic
EBA Brill All | Available |