A note on a proof of Sherpherdson.
Archiv für mathematische Logik und Grundlagenforschung (1983)
- Volume: 23, page 55-60
- ISSN: 0003-9268
Access Full Article
topHow to cite
topFlannagan, T.B.. "A note on a proof of Sherpherdson.." Archiv für mathematische Logik und Grundlagenforschung 23 (1983): 55-60. <http://eudml.org/doc/138006>.
@article{Flannagan1983,
author = {Flannagan, T.B.},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {proof theory; axiom of induction; open formulae; rule of induction; open consequences; syntactic proofs},
pages = {55-60},
title = {A note on a proof of Sherpherdson.},
url = {http://eudml.org/doc/138006},
volume = {23},
year = {1983},
}
TY - JOUR
AU - Flannagan, T.B.
TI - A note on a proof of Sherpherdson.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1983
VL - 23
SP - 55
EP - 60
KW - proof theory; axiom of induction; open formulae; rule of induction; open consequences; syntactic proofs
UR - http://eudml.org/doc/138006
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.