Difference between revisions of "Portal:Semantics"
Jump to navigation
Jump to search
Volker gast (talk | contribs) m |
Volker gast (talk | contribs) m |
||
Line 33: | Line 33: | ||
'''Semantic metalanguage'''<br> | '''Semantic metalanguage'''<br> | ||
− | [[Atomic formula]] -- [[Aussagenlogik]] -- [[Boolesche Operatoren]] -- [[Formula]] -- [[Funktionale Applikation]] -- [[Interpretation function]] -- [[Lambda-abstraction]] -- [[Lambda-operator]] -- [[Metalanguage]] -- [[Meta-variable]]<br> | + | [[Atomic formula]] -- [[Aussagenlogik]] -- [[Boolesche Operatoren]] -- [[Formula]] -- [[Funktionale Applikation]] -- [[Interpretation function]] -- [[Lambda-abstraction]] -- [[Lambda-operator]] -- [[Metalanguage]] -- [[Meta-variable]] -- [[Predicate logic]]<br> |
<div style="font-size:80%;"> | <div style="font-size:80%;"> |
Revision as of 22:50, 14 March 2009
This portal is maintained by Volker Gast. Please use the discussions tab or Email to enter your comments, critical remarks, or suggestions. Thank you. Here is a list of the articles in Category:Semantics |