Report - Introduction to Mathematical Logickrajicek/mendelson.pdf · 1.3 Adequate sets of connectives 27 1.4 An axiom system for the propositional calculus 33 1.5 Independence. Many-valued

Please pass captcha verification before submit form