Рет қаралды 16
Liz Goode
Multiply-Quantified StatementsNegating Multiply-Quantified StatementsTarski's WorldNegating Relative Position Predicates in Tarski's World