Results for 'Association of Symbolic Logic'

1000+ found
Order:
  1. Logic Colloquium '80 Papers Intended for the European Summer Meeting of the Association for Symbolic Logic.D. van Dalen, Daniel Lascar, T. J. Smiley & Association for Symbolic Logic - 1982
  2. Meeting of the Association for Symbolic Logic: Atlanta 1973.C. Ward Henson, Bjarni Jónsson, E. G. K. Lopez-Escobar & Michael D. Resnik - 1974 - Journal of Symbolic Logic 39 (2):390-405.
  3.  65
    Jack H. Silver. Counting the Number of Equivalence Classes of Borel and Coanalytic Equivalence Relations. Annals of Mathematical Logic, Vol. 18 , Pp. 1–28. - John P. Burgess. Equivalences Generated by Families of Borel Sets. Proceedings of the American Mathematical Society. Vol. 69 , Pp. 323–326. - John P. Burgess. A Reflection Phenomenon in Descriptive Set Theory. Fundamenta Mathematicae. Vol. 104 , Pp. 127–139. - L. Harrington and R. Sami. Equivalence Relations, Projective and Beyond. Logic Colloquium '78, Proceedings of the Colloquium Held in Mons, August 1978, Edited by Maurice Boffa, Dirk van Dalen, and Kenneth McAloon, Studies in Logic and the Foundations of Mathematics, Vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, Pp. 247–264. - Leo Harrington and Saharon Shelah. Counting Equivalence Classes for Co-Κ-Souslin Equivalence Relations. Logic Colloquium '80, Papers Intended for the European Summer Meeting of the Association for Symbolic Logic, Edit. [REVIEW]Alain Louveau - 1987 - Journal of Symbolic Logic 52 (3):869-870.
  4.  45
    Jon Barwise and John Schlipf. On Recursively Saturated Models of Arithmetic. Model Theory and Algebra, A Memorial Tribute to Abraham Robinson, Edited by D. H. Saracino and V. B. Weispfenning, Lecture Notes in Mathematics, Vol. 498, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, Pp. 42–55. - Patrick Cegielski, Kenneth McAloon, and George Wilmers. Modèles Récursivement Saturés de l'Addition Et de la Multiplication des Entiers Naturels. Logic Colloquium '80, Papers Intended for the European Summer Meeting of the Association for Symbolic Logic, Edited by D. Van Dalen, D. Lascar, and T. J. Smiley, Studies in Logic and the Foundations of Mathematics, Vol. 108, North-Holland Publishing Company, Amsterdam, New York, and London, 1982, Pp. 57–68. - Julia F. Knight. Theories Whose Resplendent Models Are Homogeneous. Israel Journal of Mathematics, Vol. 42 , Pp. 151–161. - Julia Knight and Mark Nadel. Expansions of Models and Turing Degrees. The Journal of Symbolic Logic, Vol. 47 , Pp. 58. [REVIEW]J. -P. Ressayre - 1987 - Journal of Symbolic Logic 52 (1):279-284.
  5. Meeting of the Association for Symbolic Logic: Auckland, 1986.Krister Segerberg - 1988 - Journal of Symbolic Logic 53 (1):330-334.
  6.  4
    Meeting of the Association for Symbolic Logic, Leeds 1962.M. H. Löb - 1962 - Journal of Symbolic Logic 27 (3):373-382.
  7. Meetings of the Association for Symbolic Logic.Gaisi Takeuti - 1971 - Journal of Symbolic Logic 36 (2):357-384.
  8.  6
    Meeting of the Association for Symbolic Logic, Hamilton, New Zealand, 1973.M. J. Cresswell & W. G. Malcolm - 1974 - Journal of Symbolic Logic 39 (1):204-208.
  9. Meeting of the Association for Symbolic Logic: Washington, D. C., 1985.Martin Davis, Edgar E. K. Lopez-Escobar & Wilfred Sieg - 1986 - Journal of Symbolic Logic 51 (4):1085-1092.
  10. Meeting of the Association for Symbolic Logic.John Baldwin, D. A. Martin, Robert I. Soare & W. W. Tait - 1976 - Journal of Symbolic Logic 41 (2):551-560.
  11. Meeting of the Association for Symbolic Logic: Bogotá, Colombia, 1981.Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui & Newton C. A. Costa - 1983 - Journal of Symbolic Logic 48 (3):884-892.
  12. Association for Symbolic Logic.Phoenix Civic Plaza - 2004 - Bulletin of Symbolic Logic 10 (2):281.
  13. Meeting of the Association for Symbolic Logic: Stanford, California, 1985.Jon Barwise, Solomon Feferman & David Israel - 1986 - Journal of Symbolic Logic 51 (3):832-862.
  14. Meeting of the Association for Symbolic Logic Seattle 1973.Anne C. Morel, Ronald Harrop, Miriam Lucian & David Pincus - 1974 - Journal of Symbolic Logic 39 (1):195-208.
  15. Meeting of the Association for Symbolic Logic Los Angeles 1971.David Kaplan - 1971 - Journal of Symbolic Logic 36 (3):581-592.
  16. European Summer Meeting of the Association for Symbolic Logic Logic Colloquium'93.Symbolic Logic - 1995 - Bulletin of Symbolic Logic 1 (4):489-490.
  17.  71
    Meeting of the Association for Symbolic Logic.Anil Nerode & K. J. Barwise - 1973 - Journal of Symbolic Logic 38 (2):348-358.
  18. Association for Symbolic Logic.Jon Barwise, Howard S. Becker, Chi Tat Chong, Herbert B. Enderton, Michael Hallett, C. Ward Henson, Harold Hodes, Neil Immerman, Phokion Kolaitis & Alistair Lachlan - 1998 - Bulletin of Symbolic Logic 4 (4):465-510.
  19. Meeting of the Association for Symbolic Logic.M. J. Cresswell - 1968 - Journal of Symbolic Logic 32 (4):574-577.
  20.  19
    Meeting of the Association for Symbolic Logic, New York, 1971.Charles D. Parsons, Richard J. Orgass & Richmond H. Thomason - 1972 - Journal of Symbolic Logic 37 (2):430-447.
  21.  55
    Meeting of the Association for Symbolic Logic: Melbourne, Australia 1979.John N. Crossley & Lloyd Humberstone - 1981 - Journal of Symbolic Logic 46 (2):424-426.
  22. Meeting of the Association for Symbolic Logic Manchester 1969.R. O. Gandy & C. E. M. Yates - 1970 - Journal of Symbolic Logic 35 (4):598-613.
  23. Meeting of the Association for Symbolic Logic: Jerusalem, Israel, 1975.Haim Gaifman, Azriel Levy & Gert H. Müller - 1977 - Journal of Symbolic Logic 42 (1):140-142.
  24.  41
    Meeting of the Association for Symbolic Logic: Berkeley, 1983.J. W. Addison & H. B. Enderton - 1984 - Journal of Symbolic Logic 49 (1):322-326.
  25.  22
    Meeting of the Association for Symbolic Logic.Martin Davis - 1966 - Journal of Symbolic Logic 31 (4):697-706.
  26.  35
    Meeting of the Association for Symbolic Logic: Bogotá, Colombia, 1981.Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui & Newton C. A. da Costa - 1983 - Journal of Symbolic Logic 48 (3):884 - 892.
  27.  28
    Meeting of the Association for Symbolic Logic Leeds 1967.M. H. Löb, F. R. Drake & J. Derrick - 1968 - Journal of Symbolic Logic 33 (3):490.
  28. Of the Association for Symbolic Logic.Warren Goldfarb, Jeremy Avigad, Andrew Arana, Geoffrey Hellman, Dana Scott & Michael Kremer - 2004 - Bulletin of Symbolic Logic 10 (3):438.
  29.  21
    Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985.Walter Carnielli - 1986 - Journal of Symbolic Logic 51 (4):1093 - 1103.
    This is the ASL report on the 7th Latin American Symposium on Mathematical Logic held in Campinas, SP, Brazil, from July 29- August 02, 1985.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  30.  16
    Meeting of the Association for Symbolic Logic, New York City, May 1987.Martin Davis & Rohit Parikh - 1988 - Journal of Symbolic Logic 53 (4):1270-1274.
  31.  21
    Meeting of the Association for Symbolic Logic.Charles D. Parsons, Richard J. Orgass & Richmond H. Thomason - 1972 - Journal of Symbolic Logic 37 (2):430-447.
  32.  34
    Meeting of the Association for Symbolic Logic Washington, D.C., 1975.James Owinos, Hilary Putnam & Gerald Sacks - 1976 - Journal of Symbolic Logic 41 (1):279-288.
  33.  28
    Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976.Ayda I. Arruda, Francisco Miró Quesada, Newton C. A. Da Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352 - 364.
  34.  27
    Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976.Ayda I. Arruda, Francisco Miro Quesada, Newton C. A. Da Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352-364.
  35.  20
    Meeting of the Association for Symbolic Logic, Santiago, Chile, 1978.Ayda I. Arruda, Rolando Chuaqui, Newto N. C. A. da Costa & Irene Mikenberg - 1981 - Journal of Symbolic Logic 46 (1):180-190.
  36.  32
    Meeting of the Association for Symbolic Logic: Milwaukee, 1981.Jon Barwise, Robert Soare & Terrence Millar - 1983 - Journal of Symbolic Logic 48 (2):514-518.
  37. Meeting of the Association for Symbolic Logic.James K. Feibleman, R. M. Smullyan & R. L. Vaught - 1970 - Journal of Symbolic Logic 35 (2):352-363.
  38.  18
    Meeting of the Association for Symbolic Logic.J. W. Addison & H. B. Enderton - 1984 - Journal of Symbolic Logic 49 (1):322-326.
  39.  13
    Meeting of the Association for Symbolic Logic, Karpacz, Poland, 1979.Leszek Pacholski & Jedrzej Wierzejewski - 1981 - Journal of Symbolic Logic 46 (3):690-702.
  40.  63
    Meeting of the Association for Symbolic Logic, Dallas 1973.J. Donald Monk, Jan Mycielski & Jürgen Schmidt - 1973 - Journal of Symbolic Logic 38 (3):541-549.
  41.  9
    Association for Symbolic Logic.New Orleans Marriott & Sheraton New Orleans - 2007 - Bulletin of Symbolic Logic 13 (3).
  42.  24
    Meeting of the Association for Symbolic Logic.J. N. Crossley - 1966 - Journal of Symbolic Logic 31 (2):290-302.
  43. The Association for Symbolic Logic Publishes Analytical Reviews of Selected Books and Articles in the Field of Symbolic Logic. The Reviews Were Published in The Journal of Symbolic Logic From the Founding of the Journal in 1936 Until the End of 1999. The Association Moved the Reviews to This Bulletin, Beginning in 2000. The Reviews Section is Edited by Steve Awodey (Managing Editor). John Baldwin, John. [REVIEW]Burgess Mark Colyvan Anuj Dawar Mirna, Marcelo Fiore Dzamonja, Hannes Leitgeb, Roger Maddux, Andre Nies Carsten Schurmann, Kai Wehmeier & Matthias Wille Au - 2009 - Bulletin of Symbolic Logic 15 (2).
  44. Meeting of the Association for Symbolic Logic.A. Mostowski - 1969 - Journal of Symbolic Logic 34:533.
  45.  16
    Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1976.Ayda I. Arruda, Francisco Miró, Newton C. A. da Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352-364.
  46.  66
    Meeting of the Association for Symbolic Logic: San Antonio, 1987.Julia F. Knight - 1988 - Journal of Symbolic Logic 53 (3):1000-1006.
  47.  37
    Meeting of the Association for Symbolic Logic: Madison 1982.H. Jerome Keisler - 1983 - Journal of Symbolic Logic 48 (4):1233-1239.
  48.  20
    Meeting of the Association for Symbolic Logic: Wellington, New Zealand, 1981.W. G. Malcolm & M. J. Cresswell - 1983 - Journal of Symbolic Logic 48 (2):519-526.
  49.  51
    Meeting of the Association for Symbolic Logic.H. A. Schmidt, K. Schütte, E.-J. Thiele & M. J. Cresswell - 1967 - Journal of Symbolic Logic 32 (4):556-577.
  50.  17
    Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978.Ayda I. Arruda, Rolando Chuaqui, Newton C. A. da Costa & Irene Mikenberg - 1981 - Journal of Symbolic Logic 46 (1):180 - 190.
1 — 50 / 1000