Siirry suoraan sisältöön
  1. Kirjat
  2. Englanninkieliset kirjat

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.

Alaotsikko
An Introduction to Logic and Computability
Kirjailija
Dowek Gilles
Painos
2011
ISBN
9780857291202
Kieli
englanti
Paino
281 grammaa
Julkaisupäivä
14.1.2011
Kustantaja
Springer London
Sivumäärä
156