Contribution of Warsaw Logicians to Computational Logic
The newly emerging branch of research of Computer Science received encouragement from the successors of the Warsaw mathematical school: Kuratowski, Mazur, Mostowski, Grzegorczyk, and Rasiowa. Rasiowa realized very early that the spectrum of computer programs should be incorporated into the realm of...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2016-06-01
|
| Series: | Axioms |
| Subjects: | |
| Online Access: | http://www.mdpi.com/2075-1680/5/2/16 |