cam a22 4 4500 128685891 CHVBK 20200925065948.0 990819s1970 gw 00 ger (OCoLC)610651183 (NEBIS)000263558 SzZuIDS NEBIS ETH-BIB Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls von Hans Hermes und Heinrich Scholz [Reprographischer Nachdr. der Ausg. 1937] Hildesheim Gerstenberg 1970 40 S. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften. Neue Folge Heft 1, Nachdr. 1/Nachdr. (NEBIS)000021033 126427062 Frege, Gottlob 1848-1925 (DE-588)118535161 gnd AUSSAGENKALKÜL + AUSSAGENLOGIK (PHILOSOPHISCHE LOGIK) ger (ETHUDK)000009631 ethudk AXIOMENSYSTEME (PHILOSOPHISCHE LOGIK) ger (ETHUDK)000009626 ethudk VOLLSTÄNDIGKEIT EINES AXIOMENSYSTEMS (PHILOSOPHISCHE LOGIK) ger (ETHUDK)000009627 ethudk u Frege, Gottlob 1848-1925 nebis E2 u AUSSAGENKALKÜL + AUSSAGENLOGIK (PHILOSOPHISCHE LOGIK) ger 16,141 nebis E1 u VOLLSTÄNDIGKEIT EINES AXIOMENSYSTEMS (PHILOSOPHISCHE LOGIK) ger 16,140.423 nebis E1 u AXIOMENSYSTEME (PHILOSOPHISCHE LOGIK) ger 16,140.42 nebis E1 u PROPOSITIONAL LOGIC (PHILOSOPHICAL LOGIC) eng 16,141 nebis E1 u LOGIQUE DES ÉNONCÉS (LOGIQUE PHILOSOPHIQUE) fre 16,141 nebis E1 u COMPLETENESS OF AXIOM SYSTEMS (PHILOSOPHICAL LOGIC) eng 16,140.423 nebis E1 u INTÉGRALITÉ D'UN SYSTÈME D'AXIOMES (LOGIQUE PHILOSOPHIQUE) fre 16,140.423 nebis E1 u AXIOM SYSTEMS (PHILOSOPHICAL LOGIC) eng 16,140.42 nebis E1 u SYSTÈMES D'AXIOMES (LOGIQUE PHILOSOPHIQUE) fre 16,140.42 nebis E1 Hermes Hans Scholz Heinrich Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften. Neue Folge, 1-8 (NEBIS)000815571 133314499 BK020000 XK020000 XK020000 NEBIS E01 E01 MG P 713486 A: 1-8 Sammelband NEBIS UPHIL UPHIL ULPHI 9531/4 (H.1) NEBIS 490 -- Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften. Neue Folge Heft 1, Nachdr 1/Nachdr (NEBIS)000021033 126427062 NEBIS 700 1- Hermes Hans NEBIS 700 1- Scholz Heinrich NEBIS 773 -A Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften. Neue Folge, 1-8 (NEBIS)000815571 133314499