Advertisement

Über Skolemerweiterungen in der Intuitionistichen Logik mit Gleichheit

  • H. Osswald
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 500)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. (1).
    Mints, G. E.: Skolem's method of elimination of positive quantifiers in sequential calculi, Dokl. Akad. Nauk SSSR, 861–864, Bd 169, 1966. *** DIRECT SUPPORT *** A00J4136 00006zbMATHGoogle Scholar

Copyright information

© Springer-Verlag 1975

Authors and Affiliations

  • H. Osswald

There are no affiliations available

Personalised recommendations