标题：    amp；amp；阿提特：数学基础。逻辑计算和算法的形式化。（Osnovaniya matematiki。Logicheskie ischisleniya i formalicatsiya arifmetiki）。Transl.公司。来自德国。俄语翻译。S.I.Adyan编辑。第2天   amp；amp；奥拉斯特：希尔伯特   amp；amp；日期：1982   amp；amp；体裁：书   amp；amp；身份证件：3819686   sid：FIZ-Karlsruhe:zbMATH公司

× Entschuldigung公司：Wir konnten Sie leider nicht automatisch einer书目/Einrichtung zuordnen。
Bitte verwenden Sie das nachstehende Suchformular order die Karte，um Ihre Heimateinrichtung auszuwählen。