Logic, Symbolic and mathematical -- Problems, exercises, etc

Subject

Browse all works related to Logic, Symbolic and mathematical -- Problems, exercises, etc.

"34" Result

This well established text covers the basic topics of a solid first course in mathematical logic. It contains the logical fundamentals that computer science students will need, as well as a chapter on computability theory.

Casse-tête, paradoxes logiques, découpages et problèmes divers se trouvent réunis dans ce livre de présentation agréable, "faisant appel aux méthodes de raisonnement classiques, mais aussi à l'imagination, à l'intuition."