Eine Grenze für die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik《超越诱导》。

库尔特·舒特。“Eine Grenze für die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik.”Archive für mathematische Logik und Grundlagenforschung公司7 (1964/65): 45-60. <http://eudml.org/doc/137771>.

@第{Schütte1964/65条，
author={Schütte，Kurt}，
journal={Archivfür mathematische Logik und Grundlagenforschung}，
关键词={数学逻辑}，
页数={45-60}，
title={Eine Grenze für die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik.}，
url={http://eudml.org/doc/137771},
体积={7}，
年份={1964/65}，
}

TY-JOUR公司
AU-舒特，库尔特
TI-Eine Grenze für die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik，艾因·格伦泽·福尔在《超限诱导》中写道。
JO-Archive für mathematische Logik und Grundlagenforschung公司
PY-1964/65年
VL-7
SP-45
EP-60
KW-数学逻辑
UR-（欧元）http://eudml.org/doc/137771
急诊室-