Schlußweisen-Kalküle der Prädikatenlogik
Mathematische Annalen (1950/51)
- Volume: 122, page 47-65
- ISSN: 0025-5831; 1432-1807/e
Access Full Article
topHow to cite
topSchütte, Kurt. "Schlußweisen-Kalküle der Prädikatenlogik." Mathematische Annalen 122 (1950/51): 47-65. <http://eudml.org/doc/160199>.
@article{Schütte1950/51,
author = {Schütte, Kurt},
journal = {Mathematische Annalen},
keywords = {Philosophy and foundations of mathematics},
pages = {47-65},
title = {Schlußweisen-Kalküle der Prädikatenlogik},
url = {http://eudml.org/doc/160199},
volume = {122},
year = {1950/51},
}
TY - JOUR
AU - Schütte, Kurt
TI - Schlußweisen-Kalküle der Prädikatenlogik
JO - Mathematische Annalen
PY - 1950/51
VL - 122
SP - 47
EP - 65
KW - Philosophy and foundations of mathematics
UR - http://eudml.org/doc/160199
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.