First-Order Logic Sentence

From GM-RKB
Jump to navigation Jump to search

A First-Order Logic Sentence is a Logic Sentence within a First-Order Logic System.



References

2009