Cite This Page
Bibliographic details for Gentzen's consistency proof
- Page name: Gentzen's consistency proof
- Author: formulasearchengine contributors
- Publisher: formulasearchengine.
- Date of last revision: 24 June 2014 10:27 UTC
- Date retrieved: 17 June 2024 06:33 UTC
- Permanent URL: https://en.formulasearchengine.com/index.php?title=Gentzen%27s_consistency_proof&oldid=246776
- Page Version ID: 246776
Citation styles for Gentzen's consistency proof
APA style
Gentzen's consistency proof. (2014, June 24). formulasearchengine. Retrieved 06:33, June 17, 2024 from https://en.formulasearchengine.com/index.php?title=Gentzen%27s_consistency_proof&oldid=246776.
MLA style
"Gentzen's consistency proof." formulasearchengine. 24 Jun 2014, 10:27 UTC. 17 Jun 2024, 06:33 <https://en.formulasearchengine.com/index.php?title=Gentzen%27s_consistency_proof&oldid=246776>.
MHRA style
formulasearchengine contributors, 'Gentzen's consistency proof', formulasearchengine, 24 June 2014, 10:27 UTC, <https://en.formulasearchengine.com/index.php?title=Gentzen%27s_consistency_proof&oldid=246776> [accessed 17 June 2024]
Chicago style
formulasearchengine contributors, "Gentzen's consistency proof," formulasearchengine, https://en.formulasearchengine.com/index.php?title=Gentzen%27s_consistency_proof&oldid=246776 (accessed June 17, 2024).
CBE/CSE style
formulasearchengine contributors. Gentzen's consistency proof [Internet]. formulasearchengine; 2014 Jun 24, 10:27 UTC [cited 2024 Jun 17]. Available from: https://en.formulasearchengine.com/index.php?title=Gentzen%27s_consistency_proof&oldid=246776.
Bluebook style
Gentzen's consistency proof, https://en.formulasearchengine.com/index.php?title=Gentzen%27s_consistency_proof&oldid=246776 (last visited June 17, 2024).
BibTeX entry
@misc{ wiki:xxx, author = "formulasearchengine", title = "Gentzen's consistency proof --- formulasearchengine{,} ", year = "2014", url = "https://en.formulasearchengine.com/index.php?title=Gentzen%27s_consistency_proof&oldid=246776", note = "[Online; accessed 17-June-2024]" }
When using the LaTeX package url (\usepackage{url}
somewhere in the preamble) which tends to give much more nicely formatted web addresses, the following may be preferred:
@misc{ wiki:xxx, author = "formulasearchengine", title = "Gentzen's consistency proof --- formulasearchengine{,} ", year = "2014", url = "\url{https://en.formulasearchengine.com/index.php?title=Gentzen%27s_consistency_proof&oldid=246776}", note = "[Online; accessed 17-June-2024]" }