Search

Your search keyword '"Wunsch, Jared"' showing total 16 results

Search Constraints

Start Over You searched for: Author "Wunsch, Jared" Remove constraint Author: "Wunsch, Jared" Journal an invitation to mathematical logic Remove constraint Journal: an invitation to mathematical logic
16 results on '"Wunsch, Jared"'

Search Results

1. Gödel’s Incompleteness Theorems

2. Models of Arithmetic and Independence Results

3. Hilbert’s Tenth Problem

4. Peano Arithmetic and

5. Models of Computation

6. Turing Reducibility

7. Computably Enumerable and Arithmetic Sets

8. Universal Machines and Undecidability

9. Languages, Structures, and Theories

10. Model Theory of the Real Field

11. Gödel’s Completeness Theorem

12. Formal Proofs

13. Quantifier Elimination

14. Compactness and Complete Theories

15. Ultraproducts

16. Embeddings and Substructures

Catalog

Books, media, physical & digital resources