 |
|
|
Item Details
| Title:
|
MECHANIZATION OF REASONING IN A HISTORICAL PERSPECTIVE
|
| By: |
Witold Marciszewski (Editor), Roman Murawski (Editor) |
| Format: |
Hardback |
| List price:
|
£48.00 |
|
We believe that this item is permanently unavailable, and so we cannot source
it.
|
|
|
|
|
|
| ISBN 10: |
9051837909 |
| ISBN 13: |
9789051837902 |
| Publisher: |
BRILL |
| Pub. date: |
1 January, 1995 |
| Series: |
Poznan Studies in the Philosophy of the Sciences and the Humanities 43 |
| Pages: |
267 |
| Synopsis: |
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 reasonings. Besides the authors there are other persons, as well as institutions, to whom the book owes its coming into being. The study which resulted in this volume was carried out in the Historical Section of the research project Logical Systems and Algorithms for Automatic Testing of Reasoning, 1986-1990, in which participated nine Polish universities; the project was coordinated by the Department of Logic, Methodology and Philosophy of Science of the Bia??l??ystok Branch of the University of Warsaw, and supported by the Ministry of Education (some of its results are reported in (Srzednicki (Ed.) 1987). The major part of the project was focussed on the software for computer-aided theorem proving called Mizar MSE (Multi-Sorted first-order logic with Equality, reported in (Marciszewski 1994a)) due to Dr. Andrzej Trybulec.He and other colleagues deserve a grateful mention for a hands-on experience and theoretical stimulants owed to their collaboration. |
| Publication: |
Netherlands |
| Imprint: |
Editions Rodopi B.V. |
| Returns: |
Non-returnable |
|
|
|
 |
|
|
|
|
|
No Cheese, Please!
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
|
My Brother Is a Superhero
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
|
|
|
|
|