1996–97 Annual Meeting of the Association for Symbolic Logic
Bulletin of Symbolic Logic 3 (3):378-396 (1997)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Analytics
Added to PP
2014-03-30
Downloads
11 (#859,682)
6 months
1 (#386,499)
2014-03-30
Downloads
11 (#859,682)
6 months
1 (#386,499)
Historical graph of downloads
Author's Profile
References found in this work
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.Carlos E. Alchourrón, Peter Gärdenfors & David Makinson - 1985 - Journal of Symbolic Logic 50 (2):510-530.
Inconsistent Models for Relevant Arithmetics.Robert Meyer & Chris Mortensen - 1984 - Journal of Symbolic Logic 49 (3):917-929.
The Density of the Nonbranching Degrees.Peter A. Fejer - 1983 - Annals of Pure and Applied Logic 24 (2):113-130.
The Density of Infima in the Recursively Enumerable Degrees.Theodore A. Slaman - 1991 - Annals of Pure and Applied Logic 52 (1-2):155-179.
Undecidability and 1-Types in the Recursively Enumerable Degrees.Klaus Ambos-Spies & Richard A. Shore - 1993 - Annals of Pure and Applied Logic 63 (1):3-37.
Similar books and articles
1995–1996 Annual Meeting of the Association for Symbolic Logic.H. Jerome Keisler - 1996 - Bulletin of Symbolic Logic 2 (4):448-472.
1996-97 Annual Meeting of the Association for Symbolic Logic.Richard Lipton - 1997 - Bulletin of Symbolic Logic 3 (3):378-396.
1996–97 Annual Meeting of the Association for Symbolic Logic.Iklaus Ambos - 1997 - Bulletin of Symbolic Logic 3 (3):378-396.
1995–1996 Annual Meeting of the Association for Symbolic Logic.Tomek Bartoszynski, Harvey Friedman, Geoffrey Hellman, Bakhadyr Khoussainov, Phokion G. Kolaitis, Richard Shore, Charles Steinhorn, Mirna Dzamonja, Itay Neeman & Slawomir Solecki - 1996 - Bulletin of Symbolic Logic 2 (4):448-472.
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.
Annual Meeting of the Association for Symbolic Logic: Boston 1983.George Boolos & Sy Friedman - 1984 - Journal of Symbolic Logic 49 (4):1441-1449.
Annual Meeting of the Association for Symbolic Logic.Sy D. Friedman - 1993 - Journal of Symbolic Logic 58 (1):370-382.
Alasdair Urquhart. The Complexity of Linear Logic with Weakening. Logic Colloquium '98, Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Prague, Czech Republic, August 9–15, 1998, Edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture Notes in Logic, No. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, Pp. 500–515. [REVIEW]Herman Ruge Jervell - 2002 - Bulletin of Symbolic Logic 8 (1):100-101.
2009 North American Annual Meeting of the Association for Symbolic Logic.Alasdair Urquhart - 2009 - Bulletin of Symbolic Logic 15 (4):441-464.
Annual Meeting of the Association for Symbolic Logic: Notre Dame, 1993.Steven Buechler - 1994 - Journal of Symbolic Logic 59 (2):696-719.
2012 North American Annual Meeting of the Association for Symbolic Logic.Bradd Hart - forthcoming - Bulletin of Symbolic Logic.
Twenty-Fourth Annual Meeting of the Association for Symbolic Logic.Alan Ross Anderson - 1959 - Journal of Symbolic Logic 24 (4):312-326.
