Browsing by Subject First-order logic
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) |
|---|---|---|
| 2022 | The incompleteness theorems | Chircop, Stefan (2022) |
| 2008 | Sub-Prolog2SQL compiler | Axiak, Martha (2008) |
| Issue Date | Title | Author(s) |
|---|---|---|
| 2022 | The incompleteness theorems | Chircop, Stefan (2022) |
| 2008 | Sub-Prolog2SQL compiler | Axiak, Martha (2008) |