Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité

by Gilles Dowek Broché details (France). ISBN: 978-2-7302-1569-5 ISBN-10: 2-7302-1569-7 Editions de l'école polytechnique · 2010