Gödel’s system <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi mathvariant="script">T</mml:mi></mml:math> revisited - Concepedia

Concepedia

Publication | Open Access

Gödel’s system <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi mathvariant="script">T</mml:mi></mml:math> revisited

DOI Full Paper Access

22

Citations

23

References

2009

Year

Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie

Theoretical Computer Science

Math XmlnsComputer AlgebraMathematical FoundationsMathematical Model

References

	Year	Citations

Page 1