76 W. J. BLOK AND D. PIGOZZI [41] Suszko, R. Abolition of the Fregean axiom. Appears in: Logic colloquium. Symposium on logic held in Boston, 1971-72. Ed. R. Parikh, Lecture Notes in Mathematics, Vol. 453, Springer-Verlag, 1975, pp. 169-239. [42] Tarski, A. Uber einige fundamental Begriffe der Metamathematik. Comptes Rendus des Seances de la Societe des Sciences et des Lettres de Varsovie, 23(1930), 22-29. English translation appears in [44]. [43] Tarski, A. Grundziige des Systemenkalkiils. Erster Teil. Fund. Math., 25(1935), 503-526. English translation appears in [44]. [44] Tarski, A. Logic, Semantics, and Metamathematics, papers from 1923 to 1938. Trans. J. H. Woodger, 2nd Ed., Ed. J. Corcoran, Hackett Pub. Co., Indianapolis, Indiana, 1983. [45] Tarski, A., Mostowski, A., and Robinson, R. M. Undecidable Theories. Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Co., Amsterdam, 1953. [46] Tax, R. E. On the Intuitionistic Equivalential Calculus. Notre Dame Jour- nal of Formal Logic 14(1973), 448-456. [47] Wojcicki, R. Lectures on propositional calcuH. The Polish Academy of Sci- ences Institute of Philosophy and Sociology, Ossolineum, The Publishing House of the Polish Academy of Sciences, Warsaw, 1984. [48] Wojcicki, R. TJie theory of propositional calculi. An introduction. To ap- pear. [49] Wroiiski, A. BCK-algebras do not form a variety. Math. Japonica, 28(1983), 211-213. DEPARTMENT OF MATHEMATICS, STATISTICS AND COMPUTER SCIENCE UNIVERSITY OF ILLINOIS AT CHICAGO CHICAGO, ILLINOIS 60680 DEPARTMENT OF MATHEMATICS IOWA STATE UNIVERSITY AMES, IOWA 50011
Previous Page Next Page