Report copyright - Formalizing Basic First Order Model Theoryjrh13/slides/tpholsm-01oct98/slides.pdf · Formalizing Basic First Order Model Theory 17 First order logic with equality It’s straightforward
Please pass captcha verification before submit form