×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [prop logic slide]
Home >
prop logic slide
Herbrand Interpretations Herbrand Universe –All constants Rao,Pat –All “ground” functional terms Son-of(Rao);Son-of(Pat); Son-of(Son-of(…(Rao)))…. Herbrand.
229 views