• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 25 matches

• 2010
• 
  Anil Nerode:
  Review: Alfred Tarski: Life and Logic by Anita Burdman Feferman; Solomon Feferman. Am. Math. Mon. 117(3): 286-288 (2010)
• 2006
• 
  Jürgen Alex:
  Zum Einfluß elementarer Sätze der mathematischen Logik bei Alfred Tarski auf die Entstehung der drei Computerkonzepte des Konrad Zuse: tertium non datur. Chemnitz University of Technology, Germany, 2006, pp. 1-371
• 
  Pierre Lescanne:
  Review of "Alfred Tarski: Life and Logic by Anita Burdman Feferman and Solomon Feferman", Cambridge University Press 2004. SIGACT News 37(1): 27-28 (2006)
• 
  Carol Wood:
  Alfred Tarski: Life and Logic by Anita Burdman Feferman; Solomon Feferman. Am. Math. Mon. 113(4): 377-379 (2006)
• 2004
• 
  George F. McNulty:
  Minimum bases for equational theories of groups and rings: the work of Alfred Tarski and Thomas Green. Ann. Pure Appl. Log. 127(1-3): 131-153 (2004)
• 2001
• 
  Hourya Sinaceur:
  Alfred Tarski: Semantic Shift, Heuristic Shift In Metamathematics. Synth. 126(1-2): 49-65 (2001)
• 
  Jan Van den Bussche:
  Applications of Alfred Tarski's Ideas in Database Theory. CSL 2001: 20-37
• 2000
• 
  Hourya Sinaceur:
  Address at the Princeton University bicentennial conference on problems of mathematics (December 17-19, 1946), by Alfred Tarski. Bull. Symb. Log. 6(1): 1-44 (2000)
• 1999
• 
  Alfred Tarski, Steven Givant:
  Tarski's system of geometry. Bull. Symb. Log. 5(2): 175-214 (1999)
• 1988
• 
  Willem J. Blok, Don Pigozzi:
  Alfred Tarski's Work on General Metamathematics. J. Symb. Log. 53(1): 36-50 (1988)
• 
  John Doner, Wilfrid Hodges:
  Alfred Tarski and Decidable Theories. J. Symb. Log. 53(1): 20-35 (1988)
• 
  Lou van den Dries:
  Alfred Tarski's Elimination Theory for Real Closed Fields. J. Symb. Log. 53(1): 7-19 (1988)
• 
  Azriel Levy:
  Alfred Tarski's Work in Set Theory. J. Symb. Log. 53(1): 2-6 (1988)
• 1986
• 
  Leon Henkin, J. Donald Monk, Alfred Tarski:
  Representable cylindric algebras. Ann. Pure Appl. Log. 31: 23-60 (1986)
• 
  Steven Givant:
  Bibliography of Alfred Tarski. J. Symb. Log. 51(4): 913-941 (1986)
• 
  Wilfrid Hodges:
  Alfred Tarski. J. Symb. Log. 51(4): 866-868 (1986)
• 
  Bjarni Jónsson:
  The Contributions of Alfred Tarski to General Algebra. J. Symb. Log. 51(4): 883-889 (1986)
• 
  George F. McNulty:
  Alfred Tarski and Undecidable Theories. J. Symb. Log. 51(4): 890-898 (1986)
• 
  J. Donald Monk:
  The Contributions of Alfred Tarski to Algebraic Logic. J. Symb. Log. 51(4): 899-906 (1986)
• 
  Robert L. Vaught:
  Alfred Tarski's Work in Model Theory. J. Symb. Log. 51(4): 869-882 (1986)
• 1975
• 
  Alfred Tarski:
  An interpolation theorem for irredundant bases of closure structures. Discret. Math. 12(2): 185-192 (1975)
• 1948
• 
  J. C. C. McKinsey, Alfred Tarski:
  Some Theorems About the Sentential Calculi of Lewis and Heyting. J. Symb. Log. 13(1): 1-15 (1948)
• 
  Alfred Tarski:
  A Problem Concerning the Notion of Definability. J. Symb. Log. 13(2): 107-111 (1948)
• 1941
• 
  Alfred Tarski:
  On the Calculus of Relations. J. Symb. Log. 6(3): 73-89 (1941)
• 1939
• 
  Alfred Tarski:
  On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth. J. Symb. Log. 4(3): 105-112 (1939)