Why sets? (2008)

by Andreas Blass , Yuri Gurevich
Venue:PILLARS OF COMPUTER SCIENCE: ESSAYS DEDICATED TO BORIS (BOAZ) TRAKHTENBROT ON THE OCCASION OF HIS 85TH BIRTHDAY, VOLUME 4800 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:2 - 0 self

Documents Related by Co-Citation

11 Model Theory and Computer Science: An Appetizer – J.A. Makowsky - 1995
2 Grundzuge der theoretischen Logik, 3rd edition – D Hilbert, W Ackermann - 1949
2 What Russel learned from Peano. Notre Dame – H C Kennedy - 1973
33 Grundlagen der Analysis – Edmund Landau - 1930
11 The Consistency of Frege’s Foundation of Arithmetic – G Boolos - 1987
19 1998]: 'The limits of abstraction – KIT FINE
34 Naturalism in mathematics – Penelope Maddy - 1997
14 Fixing Frege – J P Burgess - 2005
6 The Number Systems. Foundations of Algebra and Analysis – S Feferman - 2003
12 Thinking about Mathematics – S Shapiro - 2000
266 The Classical Decision Problem – E Börger, E Grädel, Y Gurevich - 1996
153 Logic and the Challenge of Computer Science – Yuri Gurevich - 1988
84 Visual Verification of Reactive Systems – Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe - 1997
45 Algorithmic uses of the Feferman–Vaught Theorem – J A Makowsky - 2004
19 Finite Model Theory and its Applications – E. Grädel, P. Kolaitis, L. Libkin, M. Marx, M. Vardi, S. Weinstein - 2006
1500 Reasoning about Knowledge – R Fagin, J Y Halpern, Y Moses, M Y Vardi - 2003
2350 Monotone Complexity – Michelangelo Grigni , Michael Sipser - 1990
503 Finite Model Theory – H-D Ebbinghaus, J Flum - 1995
197 Elements of Finite Model Theory – Leonid Libkin - 2004