Nachdem seit dem Erscheinen des ersten Teiles del' "Einfiihrung in die Mathematische Logik" me hI' als 12 Jahre vergangen sind, bin ich nun mehr in del' Lage, den zweiten Teil vorzulegen. Entsprechend dem ur sprunglichen Plan enthalt er die wichtigsten Ergebnisse iiber die Pradi katenlogik del' ersten Stufe, die hie I' konsequent als Logik (einsortiger) elementarer Sprachen entwickelt wird. Ich behandle dabei sofort den Pradikatenkalkiil mit Identitat und Operationssymbolen; die zum Teil abweichenden Ergebnisse fiir den Pradikatenkalkiil ohne Identitat er scheinen als Resultate iiber...
Nachdem seit dem Erscheinen des ersten Teiles del' "Einfiihrung in die Mathematische Logik" me hI' als 12 Jahre vergangen sind, bin ich nun mehr in de...