nLab
Alfred Tarski
Skip the Navigation Links

Home Page

All Pages

Recently Revised

Authors

Feeds

Export

wikipedia entry
category:
people
Revised on July 6, 2014 22:28:26 by
Thomas Holder
?
(89.204.135.69)
Edit

Back in time
(1 revision)

See changes

History
 Views:
Print

TeX

Source
 Linked from:
internal logic
,
real number
,
intuitionistic logic
,
model theory
,
characteristic zero
,
history of mathematics
,
canonical extension
,
Beth definability theorem