The Journal of Symbolic Logic
More editions
Consistency and truth of mathematical sentences XLI 262 AIELLO, Luigia, Mario
Aiello, Giuseppe Attardi, and Gianfranco Prini. Informal proofs formally checked
by machine XLII 131 AIELLO, Mario. See Aiello, Luigia, Mario Aiello, Giuseppe ...