Ein Neuer Beweis für die Entscheidbarkeit des Einstelligen Prädikatenkalküls mit Identität
Ronald Björn JensenVolume:
7
Language:
german
Pages:
11
Journal:
Archive for Mathematical Logic
DOI:
10.1007/bf01969438
Date:
May, 1965
File:
PDF, 461 KB
german, 1965