#th(m)

2 topics

Formal Sciences And Logic

Complete First-Order TheoriesGraduateComplete Theory and Consequence RelationsGraduate