Order: Listing date First author Impact Pub year Relevance Downloads Order
The Type Theoretic Interpretation of Constructive Set Theory. Peter Aczel Angus Macintyre Leszek Pacholski Jeff Paris 1984 - Journal of Symbolic Logic 49 (1):313-314. details A Hierarchy of Cuts in Models of Arithmetic. J. B. Paris L. Pacholski J. Wierzejewski A. J. Wilkie George Mills Jussi Ketonen 1986 - Journal of Symbolic Logic 51 (4):1062-1066. details In Memoriam: Jerzy Łoś 1920–1998. Leszek Pacholski 2000 - Bulletin of Symbolic Logic 6 (1):97-100. details European Meeting of the Association for Symbolic Logic, Wroclaw 1977. Leszek Pacholski 1979 - Journal of Symbolic Logic 44 (3):441-468. details Miroslav Benda. On Saturated Reduced Products. Pacific Journal of Mathematics, Vol. 39 , Pp. 557–571. Leszek Pacholski 1975 - Journal of Symbolic Logic 40 (3):456. details S. R. Kogalovskij. O Kompaktnyh Klassah Algébraičéskih Sistém. Russian Original of XXXIX 367. Algébra I Logika, Vol. 7 No. 2 , Pp. 27–41. [REVIEW] Leszek Pacholski 1974 - Journal of Symbolic Logic 39 (2):338-339. details The 1996-97 ASL Winter Meeting Will Be Held in Conjunction with the Annual Meeting of the American Mathematical Society During January 8-11, 1997, in San Diego, California. The 1996-97 ASL Annual Meeting Will Be Held March 22-25, 1997, at the Massachusetts Institute of Technology in Cambridge, Massachusetts. Chair of the Local Organizing Com-Mittee is Sy Friedman. [REVIEW] A. Louveau Y. Moschovakis L. Pacholski H. Schwichtenberg T. Slaman J. Truss H. D. Macpherson A. Slomson S. Wainer 1996 - Bulletin of Symbolic Logic 2:121. details Logic Colloquium '77 Proceedings of the Colloquium Held in Wroclw, August 1977. Angus Macintyre Leszek Pacholski J. B. Paris 1978 details Kogalovskij S. R.. Ob Univérsal'nyh Klassah Algébr . Doklady Akadémii Nauk SSSR, Vol. 122 , Pp. 759–761. [REVIEW] Leszek Pacholski 1972 - Journal of Symbolic Logic 37 (2):401-401. details Sesja Panelowa: Wyzwania Stojące Przed Systemem Finansowania Nauki W Polsce. Leszek Pacholski Leszek Grabarczyk Julita Jabłecka-Prysłopska Andrzej Jajszczyk Janina Jóźwiak Magdalena Maciejewska Maciej Żylicz 2014 - Zagadnienia Naukoznawstwa 50 (201). details S. R. Kogalovskij. Ob Univérsal'nyh Klassah Algébr . Doklady Akadémii Nauk SSSR, Vol. 122 , Pp. 759–761. Leszek Pacholski 1972 - Journal of Symbolic Logic 37 (2):400-401. details Preface. Patrick Cegielski Leszek Pacholski Denis Richard Jerzy Tomasik Alex Wilkie 1997 - Annals of Pure and Applied Logic 89 (1):1. details Meeting of the Association for Symbolic Logic, Karpacz, Poland, 1979. Leszek Pacholski Jedrzej Wierzejewski 1981 - Journal of Symbolic Logic 46 (3):690-702. details Thue Trees. Jerzy Marcinkowski Leszek Pacholski 2003 - Annals of Pure and Applied Logic 119 (1-3):19-59. details Annual Meeting of the Association for Symbolic Logic: Karpacz, Poland 1979. Leszek Pacholski Jedrzej Wierzejewski 1981 - Journal of Symbolic Logic 46 (3):690-702. details Review: S. R. Kogalovskij, O Kompaktnyh Klassah Algebraiceskih Sistem. [REVIEW] Leszek Pacholski 1974 - Journal of Symbolic Logic 39 (2):339-339. details Review: S. R. Kogalovskij, O Kvaziproektivnyh Klassah Modelej. [REVIEW] Leszek Pacholski 1972 - Journal of Symbolic Logic 37 (2):401-401. details Asymptotic Probabilities of Existential Second-Order Gödel Sentences. Leszek Pacholski WiesŁaw Szwast 1991 - Journal of Symbolic Logic 56 (2):427-438. details Ideals on Uncountable Cardinals. James E. Baumgartner Alan Taylor Stanley Wagon Angus Macintyre Leszek Pacholski Jeff Paris 2001 - Bulletin of Symbolic Logic 7 (1):79-79. details Review: S. R. Kogalovskij, On Universal Classes of Algebras. [REVIEW] Leszek Pacholski 1972 - Journal of Symbolic Logic 37 (2):400-401. details Review: Miroslav Benda, On Saturated Reduced Products. [REVIEW] Leszek Pacholski 1975 - Journal of Symbolic Logic 40 (3):456-456. details Kogalovskij S. R.. Strukturnyé Haraktéristiki Universal'nyh Klassov . Sibirskij Matématičéskij Žurnal, Vol. 4 , Pp. 97–119. [REVIEW] Leszek Pacholski 1972 - Journal of Symbolic Logic 37 (2):401-402. details 1997 European Summer Meeting of the Association for Symbolic Logic. M. Hyland Hodges A. H. Lachlan A. Louveau Y. N. Moschovakis L. Pacholski A. B. Slomson J. K. Truss S. S. Wainer 1998 - Bulletin of Symbolic Logic 4 (1):55-117. details Ramsey Quantifiers in Arithmetic. Angus Macintyre L. Pacholski J. Wierzejewski A. J. Wilkie James H. Schmerl Stephen G. Simpson 1985 - Journal of Symbolic Logic 50 (4):1078-1079. details Review: S. R. Kogalovskij, Ob Algebraiceskih Konstrukciah Sohranauscih Kompaktnost. [REVIEW] Leszek Pacholski 1974 - Journal of Symbolic Logic 39 (2):338-339. details Review: S. R. Kogalovskij, Structural Characteristics of Universal Classes. [REVIEW] Leszek Pacholski 1972 - Journal of Symbolic Logic 37 (2):401-402. details
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed
