Report - Many-Valued Models - universal logic · Many-Valued Models Walter Carnielli ... on mathematical logic; ... tions by the North-American logician Stephen Cole Kleene in his famous book

Please pass captcha verification before submit form