00447 a2200157 4500 BKB 136329 20200902153021.0 005.131 D75P Gilles, Dowek Proof and algorithms : an introduction to logic and computability by Dowek Gilles London Springer 2011 155p. Mathematics; Algorithms 9559 9559 0 0 0 0 CURAJ CURAJ 2013-01-16 0.00 0 005.131 D75P 11524 2024-11-21 2020-09-02 BK