The top documents tagged [p q premisa2 r premisa3]
LMF-T2: Deducción natural proposicional
1.841 views