Pages that link to "Mathematician:Gerhard Karl Erich Gentzen"

← Mathematician:Gerhard Karl Erich Gentzen

What links here

Page:  Namespace:  all (Main) Talk User User talk ProofWiki ProofWiki talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Axiom Axiom talk Definition Definition talk Symbols Symbols talk Mathematician Mathematician talk Book Book talk Module Module talk   Invert selection

Filters

Hide transclusions | Hide links | Hide redirects

The following pages link to Mathematician:Gerhard Karl Erich Gentzen:

Displayed 13 items.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

• Definition:Universal Quantifier ‎ (← links)
• Mathematician:Mathematicians/Sorted By Birth/1901 - 1930 CE (transclusion) ‎ (← links)
• Mathematician:Mathematicians/Sorted By Nation/Germany (transclusion) ‎ (← links)
• Definition:Generatrix ‎ (← links)
• Definition:Gentzen Proof System ‎ (← links)
• Category:Named Theorems/Gentzen ‎ (← links)
• Definition:Gentzen Proof System/Instance 1 ‎ (← links)
• Category:Definitions/Named Definitions/Gentzen ‎ (← links)
• Definition:Proof Theory ‎ (← links)
• Definition:Universal Quantifier/Historical Note ‎ (← links)
• Mathematician:Gerhard Gentzen (redirect page) ‎ (← links)
  • Definition:Natural Deduction ‎ (← links)
  • Definition:Universal Quantifier ‎ (← links)
  • Definition:Universal Quantifier/Notational Variants ‎ (← links)
  • Book:Journal/Mathematische Annalen ‎ (← links)
  • Book:Journal/Mathematische Zeitschrift ‎ (← links)
  • Definition:Universal Quantifier/Historical Note ‎ (← links)
  • Definition:Natural Deduction/Historical Note ‎ (← links)
• Mathematician:Mathematicians/Sorted By Birthday/November ‎ (← links)
• Definition:Proof Theory/Historical Note ‎ (← links)

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)