Report - Mathematical Logic - DISI, University of Trentodisi.unitn.it/~ldkr/ml2014/slides/FOL-Syntax-Semantics.pdf · Mathematical Logic First order logic: syntax and semantics Luciano Sera

Please pass captcha verification before submit form