LEADER 02082nam a2200397 a 4500
001 ddce6827-20f6-4c8c-8149-650355a059c7
005 20230616000000.0
008 910801t19791974riuf b 000 0 eng d
035 |9 ANR2632CU 
035 |a (NNC)2187668 
035 |a (OCoLC)ocm24166383 
035 |a 2187668 
040 |a CUY  |c CUY 
090 |a QA7  |b .T34 1971a 
111 2 |a Tarski Symposium  |d (1971 :  |c University of California, Berkeley) 
245 1 0 |a Proceedings of the Tarski symposium /  |c edited by Leon Henkin, [and others] 
250 |a "second printing, with add." 
260 |a Providence :  |b Published for the Association for Symbolic Logic by American Mathematical Society,  |c 1979, ©1974 
300 |a xx, 498 pages :  |b portrait ;  |c 26 cm 
336 |a text  |2 rdacontent 
337 |a unmediated  |2 rdamedia 
338 |a volume  |2 rdacarrier 
490 1 |a Proceedings of symposia in pure mathematics ;  |v v. 25 
500 |a An international symposium held to honor Alfred Tarski; co-sponsored by the University of California, Berkeley, the Association for Symbolic Logic [and] the International Union for History and Philosophy of Science--Division of Logic, Methodology, and Philosophy of Science 
504 |a Bibliography: p. [487]-498 
600 1 0 |a Tarski, Alfred,  |d 1901-1983  |v Bibliography 
650 0 |a Logic, Symbolic and mathematical 
650 0 |a Mathematics 
700 1 |a Henkin, Leon,  |e editor 
700 1 |a Tarski, Alfred,  |d 1901-1983 
710 2 |a Association for Symbolic Logic 
710 2 |a International Union of the History and Philosophy of Science  |b Division of Logic, Methodology and Philosophy of Science. 
710 2 |a University of California, Berkeley 
830 0 |a Proceedings of symposia in pure mathematics ;  |v v. 25 
999 1 0 |i ddce6827-20f6-4c8c-8149-650355a059c7  |l 2187668  |s US-NNC  |m proceedings_of_the_tarski_symposium________________________________________1974_______publia________________________________________tarski_symposium___________________p 
999 1 1 |l 2187668  |s ISIL:US-NNC  |t BKS  |a mat  |b 0031478794  |c QA1 .P775 v.25  |y 8568991  |p UNLOANABLE