nLab
Alfred Tarski
Skip the Navigation Links

Home Page

All Pages

Recently Revised

Authors

Feeds

Export

wikipedia entry
category:
people
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