Krivine, J. (2021). A program for the full axiom of choice. Logical Methods in Computer Science e.V.
Chicago Style (17th ed.) CitationKrivine, Jean-Louis. A Program for the Full Axiom of Choice. Logical Methods in Computer Science e.V, 2021.
MLA (9th ed.) CitationKrivine, Jean-Louis. A Program for the Full Axiom of Choice. Logical Methods in Computer Science e.V, 2021.
Warning: These citations may not always be 100% accurate.