Untersuchungen über das logische Schließen I

G. Gentzen

Mathematische Zeitschrift (1935)

  • Volume: 39, page 176-210
  • ISSN: 0025-5874; 1432-1823

How to cite

top

Gentzen, 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
  1. Aarne Ranta, Structures grammaticales dans le français mathématique : II - (suite et fin)
  2. Aarne Ranta, Structures grammaticales dans le français mathématique : I
  3. Per Martin-Löf, Infinite terms and a system of natural deduction
  4. Philippe De Rouilhan, Les tableaux de Beth : syntaxe ou sémantique ?
  5. Shahid Rahman, Helge Rückert, Die pragmatischen Sinn- und Geltungskriterien der Dialogischen Logik beim Beweis des Adjunktionssatzes
  6. Jacques Dubucs, Preuves, fondements et certificats
  7. 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.)
  8. Jan Šindelář, Statistical theory of logical derivability
  9. 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
  10. Ivan Kramosil, Zbigniew Zwinogrodzki, Statistical methods for comparing theorem proving algorithms

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.