Intro Logic & Method 4e Olg 24 C by Alfred Tarski & Alfred Tarksi