• Gilles DowekEmail author
Part of the Undergraduate Topics in Computer Science book series (UTICS)


The Epilogue presents the four notions introduced in the book and that structure contemporary logic: those of a proof, an algorithm, a model, and a set. It finally discusses the usefulness of logic in mathematics and in computer science.

Copyright information

© Springer-Verlag London Limited 2011

Authors and Affiliations

  1. 1.École PolytechniquePalaiseauFrance

Personalised recommendations