Filter
Sökt på: Sökresultat
Filter
totalt 3 träffar
To Mock a Mockingbird: and Other Logic Puzzles
häftad,
2000,
Engelska,
ISBN 9780192801425
This is a puzzle book covering logic, philosophy, psychology, artificial intelligence, computer science and mathematics. It contains many puzzles and their solutions and aims to …
Godel's Incompleteness Theorems
E-bok,
1992,
Engelska,
ISBN 9780195364378
Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are …
Från
3254 kr
Recursion Theory for Metamathematics
E-bok,
1993,
Engelska,
ISBN 9780195344813
This work is a sequel to the author's Gdel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gdel's incompleteness theorem for Peano …
E-bok
Titeln har utgått ur sortimentet