Schütte Kurt. (1978). Ein Ansatz zum Entscheidungsverfahren für eine Formelklasse der Prädikatenlogik mit Identität.
Chicago Style (17th ed.) CitationSchütte Kurt. Ein Ansatz Zum Entscheidungsverfahren Für Eine Formelklasse Der Prädikatenlogik Mit Identität. 1978.
MLA idézésSchütte Kurt. Ein Ansatz Zum Entscheidungsverfahren Für Eine Formelklasse Der Prädikatenlogik Mit Identität. 1978.
Figyelem: ezek az hivatkozások nem 100%-ban pontosak..