| Information flow. The logic of distributed systems |
Jon Barwise and Jerry Seligman |
Maarten De Rijke |
The Journal of Symbolic Logic |
1999 |
| Logic and Information |
Keith Devlin |
Peter Novak |
Philosophy in Review |
1996-01-01 |
| Hammer Eric M. Logic and visual information |
|
Isabel Luengo |
The Journal of Symbolic Logic |
1996 |
| Logic and Information |
K Devlin |
S B Russ |
History and Philosophy of Logic |
1993-01-01 |
| Logic and Information |
K Devlin |
Charles B Cross |
Philosophical Psychology |
1993-01-01 |
| Logic and Information |
Keith Devlin |
I. L. Humberstone |
The Journal of Symbolic Logic |
1993 |
| Logic and algorithms with applications to the computer and information sciences |
Robert R Korfhage |
Julia Blasco |
Teorema |
1974-01-01 |
| Logic and algorithms with applications to the computer and information sciences |
Robert R. Korfhage |
Jiří Bečvář |
The Journal of Symbolic Logic |
1971 |
| A non-heuristic program for proving elementary logical theorems. English, with French, German, Russian, and Spanish summaries. Information processing, Proceedings of the International Conference on Information Processing, Unesco |
B. Dunham, R. Fridshal, and G. L. Sward |
Joyce Friedman |
The Journal of Symbolic Logic |
1967 |
