Rasiowa Helena 1917 1994

Sikorski Roman 1920 1983

On Satisfiability and Decidability in Non-Classical Functional Calculi