Influences of Frege's Predicate Logic on Some Computational Models
The purpose of this paper is to give some insights into the immense role of Frege's first order logic (FOL) in the development of computer science. We argue that the FOL is fundamental in computer science, and that some computer science subfields could not have existed without their theoretical...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Published: |
International Society of Philosophy and Cosmology,
2018-04-01T00:00:00Z.
|
| Subjects: | |
| Online Access: | Connect to this object online. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Internet
Connect to this object online.3rd Floor Main Library
| Call Number: |
A1234.567 |
|---|---|
| Copy 1 | Available |