This is an automatic view based on data from Wikidata.
There is not a complete article yet, but you can help creating one.
collection of formal systems used in mathematics, philosophy, linguistics, and computer science
External resources
| Freebase ಐಡಿ | |
| Microsoft Academic ID | |
| Mathematics Subject Classification ID | |
| Encyclopedia of Mathematics article ID | Predicate_calculussubject named as: Predicate calculus |
| Encyclopædia Britannica Online ID | topic/lower-predicate-calculussubject named as: lower predicate calculus |
| Brilliant Wiki ID | |
| JSTOR topic ID (archived) | |
| Great Russian Encyclopedia Online ID (old version) | 2179111subject named as: ЛОГИКА ПРЕДИКАТОВ |
| Encyclopædia Universalis ID | |
| PhilPapers topic | predicate-logicsubject named as: Predicate Logic |
| OpenAlex ID | |
| PlanetMath ID | |
| Treccani's Enciclopedia della Matematica ID | primo-ordine-teoria-delsubject named as: primo ordine, teoria del |
| GitHub topic | |
| nLab ID | |
| Encyclopedia of Database Systems ID | 999-2subject named as: First-Order Logic: Syntax 1000-2subject named as: First-Order Logic: Semantics applies to part: formal semantics |
| Larousse ID | |
described by source
Armenian Soviet Encyclopedia, vol. 9 different from
predicate logic
first-order language
Reference
- ↑ Freebase Data Dumps, ೨೮ ಅಕ್ಟೋಬರ್ 2013
- ↑ ೨.೦ ೨.೧ OpenAlex, ೨೬ ಜನವರಿ 2022, https://docs.openalex.org/download-snapshot/snapshot-data-format
- ↑ https://github.com/topics/first-order-logic, first-order-logic · GitHub Topics, ೧೯ ಆಗಸ್ಟ್ 2021
