Del 27 i serien Oxford Logic Guides
3 995 kr
Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt över 249 kr.
Beskrivning
The main purpose of this book is to present a unified treatment of fixed points as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. The book provides a survey of introductory material and a summary of recent research. The first chapters are of an introductory nature and consist mainly of exercises with solutions given to most of them.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Mer från samma serie
Del 29
Del 37
Del 24
Introduction to Logic and to the Methodology of Deductive Sciences
Alfred Tarski, Jan Tarski
Inbunden
1 722 kr
Del 19
Del 22
Del 36
Del 42
Hoppa över listan
Du kanske också är intresserad av
Del 22
Del 21
Del 30
Del 53
Simplicity Theory
Byunghan Kim, South Korea) Kim, Byunghan (Professor of Mathematics, Professor of Mathematics, Department of Mathematics, Yonsei University
Inbunden
1 490 kr
Del 50
Del 44
Del 36
Del 48
Del 25
Del 47