Gå direkt till innehållet
  1. Böcker
  2. Böcker på engelska

Proofs and Algorithms

343 kr
Lägsta pris på PriceRunner

This volume provides an introduction to the fundamental concepts of logic. Written for those new to the field, the text covers both elementary topics -- proofs, models, recursive functions, etc. -- as well as more advanced principles.

Undertitel
An Introduction to Logic and Computability
Författare
Dowek Gilles
Upplaga
2011
ISBN
9780857291202
Språk
engelska
Vikt
281 gram
Utgivningsdatum
2011-01-14
Sidor
156

Proofs and Algorithms - Dowek Gilles - Häftad (9780857291202) | Adlibris Bokhandel