User:Fklar

Interesting Articles
NOTE! There is SOMETHING hidden! in the the levels!

Models, Languages, and Formal Background
meta, metalogic (type vs token, ...), metamathematics, metalanguage

Principia Mathematica

modeling language

-- fklar (talk) 10:42, 17 April 2010 (UTC)