|
Dział bibliografii:
|
Literatury obce
- Literatura niemiecka
- Hasła szczegółowe (niemiecka)
- Hasła osobowe (niemiecka) |
|
Rodzaj zapisu:
|
książka o twórcy (przedmiotowa) |
| Hasło osobowe: | Leibniz Gottfried Wilhelm - szczegóły
|
|
Tytuł:
|
On Leibniz's philosophical legacy in the 350th anniversary of his birth
|
| Osoby współtworzące: |
[Red. Halina Święczkowska] |
| Wydawnictwo: | Białystok: The Chair of Logic, Informatics and Philisophy of Science. University of Białystok
|
|
Rok wydania:
|
1997 |
|
Opis fizyczny książki:
|
131 s., rys. |
|
Seria wydawnicza:
|
(Studies in Logic, Grammar and Rhetoric; 1(14)) |
|
Adnotacje:
|
Witold Marciszewski: Why should we read Leibniz in the 350th anniversary of his birth? [wstęp]. * Halina Święczkowska: Language as the mirror of the mind. - Witold Marciszewski: Leibniz's idea of automated reasoning compared with modern AI. - Adam Drozdek: Leibniz: Struggles with infinity. - Jerzy Kopania: Descartes' great thesis on nature. - Anna Zalewska: A criterion of decidability of some algorithmic formulas. Appendix. - Anna Zalewska: The norms from the point of view of a certain logic of programs. - Andrzej Malec: Norms and programs. - Dariusz Surowik: Some remarks about intuitionistic tense logic. - Kazimierz Trzęsicki: Omniscience, omnipotence and related notions. |
|
Numer zapisu:
|
876599 (MK) |
English version
