First Page | Document Content | |
---|---|---|
![]() Date: 2012-05-16 01:10:11Mathematics Philosophy Logic Meals Joan Moschovakis Melvin Fitting Rohit Jivanlal Parikh Break Coffee Artyomov Dexter Kozen Anil Nerode | Add to Reading List |
![]() | The Constructive in Logic and Applications A Conference in Honor of the 60th Birthday of Sergei Artemov Conference Schedule May 23, 2012, 8:30 9:00 - 9:15DocID: 1qsN1 - View Document |
![]() | TABLEAUX 2011 Workshops, Tutorials, and Short Papers Martin Giese and Roman Kuznets (editors) Technical Report IAM, 4–8 JulyInstitut furDocID: 1meDN - View Document |
![]() | The Range of Realization Melvin Fitting City University of New YorkDocID: 1m3UV - View Document |
![]() | Forcing and Intensional Set Theory Melvin Fitting City University of New YorkDocID: 1kx2Y - View Document |
![]() | Explicit Logics of Knowledge and Conservativity Melvin Fitting Lehman College, CUNY, 250 Bedford Park Boulevard West, Bronx, NY[removed]DocID: 4Gmh - View Document |