1. Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth
پدیدآورنده : von Christian Fenske.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics, general.,Mathematics.
رده :
T7
.
V663
1967