205
edits
Changes
Jump to navigation
Jump to search
<references>{{reflist|refs=
</references>}}
Uma lista de Ferramentas para o Ensino de Lógica (view source)
Revision as of 17:09, 27 May 2013
, 17:09, 27 May 2013→References
==References==
<ref name="asl">
DITMARSCH, H. van. Logic courseware. 2010. '''A Comprehensive list of Tools for doing Logic'''. Association for Symbolic Logic. Disponível em: [http://www.ucalgary.ca-/aslcle/logic-courseware/].
</ref>
<ref name="wiedijk">
WIEDIJK, F. '''Digital Math by Categories with Samples'''. 2007. A compiled list of 300 Tools sorted by implementation, interaction, supported logic and size effort. Disponível em: [http://www.cs.ru.nl/ ̃freek/digimath/bycategory.html].
</ref>
