Alec Fisher : Formal number theory and computability : a workbook
€30.00
In stock
Only %1 left
SKU
P-FORM-6ACBCB

Alec Fisherin "Formal number theory and computability : a workbook" johdattaa matematiikan, laskennan ja filosofian opiskelijat matemaattisen logiikan keskeisimpiin tuloksiin, kuten Gödelin epätäydellisyyslauseisiin. Kirja etenee suoraan ydinasioihin alkeisnumero- ja todistusteoriasta ja tarjoaa runsaasti harjoituksia itsenäiseen opiskeluun.
Suitable for: Matematiikan, tietojenkäsittelytieteen ja filosofian opiskelijoille.
| Categories | |
|---|---|
| Author | Alec Fisher |
| Title | Formal number theory and computability : a workbook |
| SKU | P-FORM-6ACBCB |
| Keywords | logiikka, logik |
