TY - GEN AU - Tarski, Alfred, AU - Tarski, Jan. CN - QA9 CY - New York : DA - 1994. ET - 4th ed. / ID - 475710 KW - Mathematics KW - Arithmetic LK - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10358316 PB - Oxford University Press, PP - New York : PY - 1994. T1 - Introduction to logic and to the methodology of the deductive sciences TI - Introduction to logic and to the methodology of the deductive sciences UR - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10358316 VL - 24 ER -