An Institution-Independant Proof of Robinson Consistency Theorem. Studia Logica (2006)

by D Găină, A Popescu