Fundamentals of Mathematical Logic

Name: Fundamentals of Mathematical Logic
Price: 1564.00 SEK
Availability: InStock
Author: Peter G Hinman, Peter G Hinman
ISBN: 9781568812625

av Peter G Hinman, Peter G Hinman

Inbunden, Engelska, 2005-09-09

1564

Köp

Spara som favorit

Skickas från oss inom 7-10 vardagar.
Fri frakt över 249 kr för privatkunder i Sverige.

Finns även som

E-bok (LCP)

Ladda ned och läs i Bokus Reader.

1851
E-bok (LCP)

Ladda ned och läs i Bokus Reader.

1851

This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author's more than 35 years of teaching experience, the book develops students' intuition by presenting complex ideas in the simplest context for which they make sense. The book is appropriate for use as a classroom text, for self-study, and as a reference on the state of modern logic.

Passar bra ihop

De som köpt den här boken har ofta också köpt No Straight Road Takes You There av Rebecca Solnit, Rebecca Solnit (inbunden).

Köp båda 2 för 1813 kr

Recursion-Theoretic Hierarchies

Peter G Hinman, Peter G Hinman

The theory set out in this volume is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion theory. The author develops a general theory from which the results of both areas ...

1978

Köp

Skickas inom vardagar.
?-Bibliography of Mathematical Logic

Peter G Hinman

Gert H. Muller The growth of the number of publications in almost all scientific areas,* as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the r...

554

Köp

Skickas inom vardagar.

Peter G. Hinman earned his B.A. in mathematics from Harvard University in 1959. He studied mathematics at the graduate level in Berkeley at the University of California. In 1966, under the guidance of Professor John Addison, he received his Ph.D. in Mathematical Logic with a particular focus on Recursion Theory. He is currently a professor at the University of Michigan where he has taught since 1966 and advised seven successful Ph.D. students. In 1978 he published his first book Recursion-Theoretic Hierarchies.