Inleiding tot de logica en tot de methodeleer der deductieve wetenschappen / - Tarski, Alfred, (Noord-Hollandsche uitgeversmaatschappij,, 1964)