Searching for "Meeting of the Association for Symbolic Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

18 documents found, showing 1 through 10. Next 10 →

New Directions In Descriptive Set Theory
by Alexander S. Kechris, The Baire Space N — 1999 — Bull. Symbolic Logic
… Lecture given at the meeting of the Association for Symbolic Logic at Toronto in April 1998. Research…
Cited by 13 (5 self) – Add To MetaCart

Prospects for mathematical logic in the twenty-first century
by Samuel R. Buss, Alexander S. Kechris, Anand Pillay, Richard A — 2001 — Bulletin of Symbolic Logic
… to be done. A. Turing, 1950. §1. Introduction. The annual meeting of the Association for Symbolic Logic held…
Cited by 4 (0 self) – Add To MetaCart

The Mathematical Development Of Set Theory - From Cantor To Cohen
by Akihiro Kanamori — 1996 — The Bulletin of Symbolic Logic
… of 1995. c # 1996, Association for Symbolic Logic 1079-8986/96/0201-0001/$8.10 1 2 AKIHIRO KANAMORI…
Cited by 5 (2 self) – Add To MetaCart

Feasible Functions
by Yuri Gurevich — 1993 — In Proceedings of the 24th IEEE Symposium on Foundations of Computer Science
… of the Association for Symbolic Logic. It would be only fair to represent here the arguments of both sides…
Cited by 51 (5 self) – Add To MetaCart

Feasible Functions
by Yuri Gurevich Eb, Yuri Gurevich — 1993 — In Proceedings of the 24th IEEE Symposium on Foundations of Computer Science
… Society Newsletter, No. 206, June 1993, 6–7. 1 Annual Meeting of the Association for Symbolic Logic…
Add To MetaCart

Gainesville, Florida, March 5--8, 1994
by Theannual Meeting Of, Organizing Committee, Douglas Cenzer, Jean A. Larson (chair, William J, Greg Ray, Rick Smith
… OF THE ASSOCIATION FOR SYMBOLIC LOGIC Gainesville, Florida, March 5--8, 1994 TheAnnual Meeting of the Association…
Add To MetaCart

Keele, England, July 20--29, 1993
by The European Summer, Richard Bornat, The Dov Gabbay, Wilfrid Hodges, Martin Hyl, Thomas Jech, David Makinson, Stephen Read, Charles Steinhorn, Anne Troelstra, John Truss, The Jayne Beardmore, Peter Fletcher, Chris Johnson, John Stell, Roger Whitehouse From The Computer, Andreas Blass, Ubiquitous Cardinals, Ronald Jensen
… Meeting of the Association for Symbolic Logic was held at Keele University, Sta#ordshire, on 20--29 July…
Add To MetaCart

Samir Chopra 523, East 5th Street, 1 New York, NY 10009 212.995.9282 chopra@cs.nyu.edu
by Education City University, Samir Chopra, George Koletsos
… Symposium Grant for 2nd Pan Hellenic Logic Symposium, (Delphi, July 1999). . NSF/Association of Symbolic…
Add To MetaCart

Resumee
by Samir Chopra, Bondi Beach
… Model for Belief Representation and Belief Revision, Annual Meeting of The Association of Symbolic Logic…
Add To MetaCart

CATEGORICAL LOGIC AND PROOF THEORY EPSRC INDIVIDUAL GRANT REPORT – GR/R95975/01
by Nicola Gambino
… the topic of my talk at the 2004 annual meeting of the Association for Symbolic Logic, held at Carnegie…
Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB