Back to Results
First PageMeta Content
Model theory / Philosophical logic / Automated theorem proving / Logic programming / Logical truth / Substitution / Constructible universe / Structure / Function / Logic / Mathematical logic / Mathematics


Document Date: 2007-08-15 06:16:56

Open Document

File Size: 309,96 KB

Share Result on Facebook

Company

the New York Times / Exxon / Philip Morris / /

IndustryTerm

machinery / /

NaturalFeature

Rhine / /

Person

St. Augustine / Wilhelm Carl Grimm / Jan van Eijck / Magritte / De Mendacio / Hannah Arendt / Jacob Ludwig Grimm / /

Position

Governor / writer / correct communication model for the lie that ¬p / /

PublishedMedium

the New York Times / /

Technology

LAN / dom / /

URL

http /

SocialTag