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

Proofs and Algorithms

45,20 €

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
14.1.2011
Sidor
156