Logic as a Computer Language for Children.

Robert A. Kowalski

Browse the full ECAI paper archive.