Cita APA

Beyersdorffm, O., Bonacina, I., Chew, L., & Pich, J. (2020). Frege systems for quantified Boolean logic.

Citación estilo Chicago

Beyersdorffm, Olaf, Ilario|||0000-0002-5697-8070 Bonacina, Leroy Chew, y Ján Pich. Frege Systems for Quantified Boolean Logic. 2020.

Cita MLA

Beyersdorffm, Olaf, Ilario|||0000-0002-5697-8070 Bonacina, Leroy Chew, y Ján Pich. Frege Systems for Quantified Boolean Logic. 2020.