Back to Results
First PageMeta Content
Lemmas / Craig interpolation / Mathematical logic / Symbol / Model theory / Phi / Abstraction


Harmonious Logic: Craig’s Interpolation Theorem and its Descendants ……… Solomon Feferman Stanford University
Add to Reading List

Document Date: 2007-05-15 01:54:06


Open Document

File Size: 187,90 KB

Share Result on Facebook