Metadata
Author: WikiMatrix
Data
French[fr]
Le programme a été développé au départ pour compléter le texte de logique de Donald Kalish et de Richard Montague, et le module pour les dérivations utilise par conséquent leur système de déduction naturelle.
Portuguese[pt]
O programa foi desenvolvido inicialmente para complementar o texto lógico de Donaldo Kalish e Richard Montague, e portanto, o módulo de derivações utiliza seu destacado sistema de dedução natural.