Untersuchungen über das logische Schließen I
Mathematische Zeitschrift (1935)
- Volume: 39, page 176-210
- ISSN: 0025-5874; 1432-1823
Access Full Article
topHow to cite
topGentzen, G.. "Untersuchungen über das logische Schließen I." Mathematische Zeitschrift 39 (1935): 176-210. <http://eudml.org/doc/168546>.
@article{Gentzen1935,
author = {Gentzen, G.},
journal = {Mathematische Zeitschrift},
keywords = {foundations, philosophy, logic},
pages = {176-210},
title = {Untersuchungen über das logische Schließen I},
url = {http://eudml.org/doc/168546},
volume = {39},
year = {1935},
}
TY - JOUR
AU - Gentzen, G.
TI - Untersuchungen über das logische Schließen I
JO - Mathematische Zeitschrift
PY - 1935
VL - 39
SP - 176
EP - 210
KW - foundations, philosophy, logic
UR - http://eudml.org/doc/168546
ER -
Citations in EuDML Documents
top- Aarne Ranta, Structures grammaticales dans le français mathématique : II - (suite et fin)
- Aarne Ranta, Structures grammaticales dans le français mathématique : I
- Per Martin-Löf, Infinite terms and a system of natural deduction
- Philippe De Rouilhan, Les tableaux de Beth : syntaxe ou sémantique ?
- Shahid Rahman, Helge Rückert, Die pragmatischen Sinn- und Geltungskriterien der Dialogischen Logik beim Beweis des Adjunktionssatzes
- Jacques Dubucs, Preuves, fondements et certificats
- Ivan Kramosil, A method for random sampling of well-formed formulas. (A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. I.)
- Jan Šindelář, Statistical theory of logical derivability
- Ivan Kramosil, A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula
- Ivan Kramosil, Zbigniew Zwinogrodzki, Statistical methods for comparing theorem proving algorithms
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.