UGent (1)
ULiège (1)
book (2)
English (1)
French (1)
1966 (2)
Choose an application
Logique symbolique et mathematique
Automatische bewijsvoering. --- Logic, Symbolic and mathematical. --- Logica Matematica (Textos Introdutorios). --- Logica. --- Logique symbolique et mathématique. --- Lógica simbólica y matemática. --- Verzamelingen (wiskunde).