Deducción natural (Spanish Wikipedia)

Analysis of information sources in references of the Wikipedia article "Deducción natural" in Spanish language version.

refsWebsite

Global rank Spanish rank

179^th place

132^nd place

stanford.edu

plato.stanford.edu

Portoraro, Frederic. «Automated Reasoning». En Edward N. Zalta, ed. Stanford Encyclopedia of Philosophy (en inglés) (Spring 2010 Edition).
von Plato, Jan. «The Development of Proof Theory». En Edward N. Zalta, ed. Stanford Encyclopedia of Philosophy (en inglés) (Fall 2008 Edition).