Showing 1 - 1 results of 1 for search 'Kuno Meyer', query time: 0.03s Refine Results
  1. 1

    Archiv für Mathematische Logik und Grundlagenforschung /

    Published 1957
    Table of Contents: “…Schröder -- Eine Verallgemeinerung des Hauptsatzes von Gentzen / Peter Zahn -- A liberated version of S5 / R. Meyer, H. Leblanc, K. Lambert -- Decision procedures for S3... and S4.. / J. …”
    Texto completo desde 1957, 1 hasta 1987, 26. [Consulta: 2020/05/18].
    Serial