Class: First_Order_Logic
http://cui.unige.ch/isi/onto/tok/TOK.owl#First_Order_Logic
Superclasses (1)
Classic_Logic
Usage (1)
Class
:
First_Order_Logic