Advertisement

Epilogue

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

Abstract

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