nLab
Alfred Tarski

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |
Created on December 22, 2011 14:08:59 by Urs Schreiber (89.204.155.165)
Edit | Views: Print | TeX | Source | Linked from: internal logic, real number, intuitionistic logic, model theory, characteristic zero, history of mathematics, canonical extension