E theorems

DOI10.1007/BF01091552zbMath0404.03044OpenAlexW4239710460MaRDI QIDQ1256459

Grigori Mints

Publication date: 1977

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01091552

zbMATH Keywords

Cut-EleminationIntuitionistic ArithmeticRecursive Realizability

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Related Items (1)

Proof Search Tree and Cut Elimination

Cites Work

• Untersuchungen über das logische Schliessen. I
• Some applications of Gentzens second consistency proof
• Unnamed Item
• Unnamed Item

This page was built for publication: E theorems