Proofs and algorithms: an introduction to logic and computability

Saved in:

Authors and Corporations:	Dowek, Gilles (Author)
Title:	Proofs and algorithms: an introduction to logic and computability/ Gilles Dowek
Original Title:	Les démonstrations et les algorithmes <engl.>
Type of Resource:	Book
Language:	English, French
published:	London, Heidelberg [u.a.] Springer 2011
Series:	Undergraduate topics in computer science
Subjects:	Logic, Symbolic and mathematical Algorithms Computer logic Lehrbuch
Online-Ausg.:	Dowek, Gilles, 1966 - , Proofs and Algorithms, London : Springer London, 2011, Online-Ressource (VIII, 195p, digital)
Source:	Verbunddaten SWB
Notes:	Aus dem Franz. übers.

Internet

Available	Freihand Barcode: 00346809 Call Number: ST 134 D746 Available for Loan