Ebook: Proofs and algorithms: introduction to logic and computability theory
Author: Dowek Gilles
- Tags: Beweistheorie, Prädikatenlogik, Prädikatenlogik
- Series: Undergraduate Topics in Computer Science
- Year: 2011
- Publisher: Springer
- City: London
- Language: English
- pdf
Download the book Proofs and algorithms: introduction to logic and computability theory for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)