
Verläßliche It-Systeme
Hans H. Brüggemann, Waltraud Gerhardt-Häckl
₹3,508

Teil II Prädikatenkalkül Der Ersten Stufe
by Günter Asser
Free delivery. Nothing extra to pay at checkout.
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.
Description supplied by the publisher.