Philosophie Lexikon der Argumente

Suche  
Autor/Titel Begriff Exzerpt Metadaten
Tarski, Alfred
 
Bücher bei Amazon
Systeme Berka I 474
Def deduktives System/Tarski: X ist ein deduktives System gdw. FL((X) < X < AS - ((s) X: Aussagenklasse (AS), die alle Folgerungen (FL) enthält, und alle Aussagen aus X sind sinnvoll. (ε AS).

Tarsk I
A. Tarski
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983

Brk I
K. Berka/L. Kreiser
Logik Texte Berlin 1983

> Gegenargumente gegen Tarski



zurück zur Liste | > Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 29.03.2017