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