Logic and structure - Dalen, Dirk van 1932- (Springer, 1980)
Keywords: Logique symbolique et mathématique; Symbolische logica; Wiskundige logica; calcul propositionnel; calcul prédicat; logique mathématique; Logic, Symbolic and mathematical; Mathematische Logik; Einführung; Lehrbuch