Wirsing, M. (1976). Das Entscheidungsproblem der Prädikatenlogik 1. Stufe mit Identität und Funktionszeichen in Herbrandformeln.
Chicago Style (17th ed.) CitationWirsing, Martin. Das Entscheidungsproblem Der Prädikatenlogik 1. Stufe Mit Identität Und Funktionszeichen in Herbrandformeln. 1976.
MLA (9th ed.) CitationWirsing, Martin. Das Entscheidungsproblem Der Prädikatenlogik 1. Stufe Mit Identität Und Funktionszeichen in Herbrandformeln. 1976.
Warning: These citations may not always be 100% accurate.