Symbolic logic and mechanical theorem proving (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Symbolic logic and mechanical theorem provinghttps://catalogue-scientifique.canada.ca/record=1370183~S6*frcRechercher Chang, Chin-Liang; Rechercher Lee, Richard Char-TungAcademic Press, 1987, ISBN : 9780121703509Livre