Les démonstrations et les algorithmes: introduction à la logique et à la calculabilité by Dowek, Gilles fromInformatique 0 Type: Book
