Cite This Page
Bibliographic details for Propositional proof system
- Page name: Propositional proof system
- Author: formulasearchengine contributors
- Publisher: formulasearchengine.
- Date of last revision: 3 May 2014 19:43 UTC
- Date retrieved: 25 June 2024 07:23 UTC
- Permanent URL: https://en.formulasearchengine.com/index.php?title=Propositional_proof_system&oldid=267585
- Page Version ID: 267585
Citation styles for Propositional proof system
APA style
Propositional proof system. (2014, May 3). formulasearchengine. Retrieved 07:23, June 25, 2024 from https://en.formulasearchengine.com/index.php?title=Propositional_proof_system&oldid=267585.
MLA style
"Propositional proof system." formulasearchengine. 3 May 2014, 19:43 UTC. 25 Jun 2024, 07:23 <https://en.formulasearchengine.com/index.php?title=Propositional_proof_system&oldid=267585>.
MHRA style
formulasearchengine contributors, 'Propositional proof system', formulasearchengine, 3 May 2014, 19:43 UTC, <https://en.formulasearchengine.com/index.php?title=Propositional_proof_system&oldid=267585> [accessed 25 June 2024]
Chicago style
formulasearchengine contributors, "Propositional proof system," formulasearchengine, https://en.formulasearchengine.com/index.php?title=Propositional_proof_system&oldid=267585 (accessed June 25, 2024).
CBE/CSE style
formulasearchengine contributors. Propositional proof system [Internet]. formulasearchengine; 2014 May 3, 19:43 UTC [cited 2024 Jun 25]. Available from: https://en.formulasearchengine.com/index.php?title=Propositional_proof_system&oldid=267585.
Bluebook style
Propositional proof system, https://en.formulasearchengine.com/index.php?title=Propositional_proof_system&oldid=267585 (last visited June 25, 2024).
BibTeX entry
@misc{ wiki:xxx, author = "formulasearchengine", title = "Propositional proof system --- formulasearchengine{,} ", year = "2014", url = "https://en.formulasearchengine.com/index.php?title=Propositional_proof_system&oldid=267585", note = "[Online; accessed 25-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 = "Propositional proof system --- formulasearchengine{,} ", year = "2014", url = "\url{https://en.formulasearchengine.com/index.php?title=Propositional_proof_system&oldid=267585}", note = "[Online; accessed 25-June-2024]" }