60

Theorem prover approach to semistructured data design

Year:
2010
Language:
english
File:
PDF, 2.85 MB
english, 2010
95

Children's understanding of the necessity of logically necessary truths

Year:
2000
Language:
english
File:
PDF, 139 KB
english, 2000