TY  - BOOK
AU  - Tarski,Alfred
AU  - Helmer,Olaff
TI  - Introduction to logic and to the methodology of deductive sciences
PY  - 1946///
CY  - New York
PB  - The University Press
KW  - Mathematics
KW  - Philosophy
KW  - Arithmetic
KW  - Foundations
N1  - "Translated by Olaf Helmer."; Includes index; Translation of: O logice matematycznej i metodzie dedukcyjnej
ER  -