Prädikatenlogik

http://www-ai.cs.uni-dortmund.de:8765/lexikon/theorie/logik/node3.html

Pr?dikatenlogik

//www.en.pms.ifi.lmu.de/publications/projektarbeiten/Claudia.Plant_Alije.Ristemi/node23.html

Keine Beschreibung vorhanden.

Contao 2-Handbuch: Buchindex - Contao-Handbuch

http://www.contao-handbuch.de/buchindex.html

Keine Beschreibung vorhanden.

2.9 Exkurs: Mehrsortige Prdikatenlogik erster Stufe

http://www.en.pms.ifi.lmu.de/publications/projektarbeiten/Claudia.Plant_Alije.Ristemi/node14.html

Keine Beschreibung vorhanden.

2.10 Exkurs: Prdikatenlogik zweiter Stufe

http://www.en.pms.ifi.lmu.de/publications/projektarbeiten/Claudia.Plant_Alije.Ristemi/node15.html

Keine Beschreibung vorhanden.

Gödelscher Unvollständigkeitssatz - Lexikon der Mathematik

http://www.spektrum.de/lexikon/mathematik/goedelscher-unvollstaendigkeitssatz/3535

von K. Gödel 1931 angegebener Satz, der intuitiv besagt, daß die Zahlentheorie, die Arithmetik, nicht axiomatisierbar ist. Anders ausgedr&uuml…

ST-Computer 04/1987 Wer spuckt die größten Töne?

http://stcarchiv.de/stc1987/04/musikprogramme

Keine Beschreibung vorhanden.