↓ Skip to main content

Mathematical Logic

Overview of attention for book
Cover of 'Mathematical Logic'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction
  3. Altmetric Badge
    Chapter 2 Turing Machines
  4. Altmetric Badge
    Chapter 3 Elementary recursive and primitive recursive functions
  5. Altmetric Badge
    Chapter 4 Recursive Functions; Turing Computability
  6. Altmetric Badge
    Chapter 5 Markov Algorithms
  7. Altmetric Badge
    Chapter 6 Recursion Theory
  8. Altmetric Badge
    Chapter 7 Recursively Enumerable Sets
  9. Altmetric Badge
    Chapter 8 Survey of Recursion Theory
  10. Altmetric Badge
    Chapter 9 Sentential Logic
  11. Altmetric Badge
    Chapter 10 Boolean Algebra
  12. Altmetric Badge
    Chapter 11 Syntactics of First-order Languages
  13. Altmetric Badge
    Chapter 12 Some Basic Results of First-order Logic
  14. Altmetric Badge
    Chapter 13 Cylindric Algebras
  15. Altmetric Badge
    Chapter 14 Some Decidable Theories
  16. Altmetric Badge
    Chapter 15 Implicit Definability in Number Theories
  17. Altmetric Badge
    Chapter 16 General Theory of Undecidability
  18. Altmetric Badge
    Chapter 17 Some Undecidable Theories
  19. Altmetric Badge
    Chapter 18 Unprovability of Consistency
  20. Altmetric Badge
    Chapter 19 Construction of Models
  21. Altmetric Badge
    Chapter 20 Elementary Equivalence
  22. Altmetric Badge
    Chapter 21 Nonstandard Mathematics
  23. Altmetric Badge
    Chapter 22 Complete Theories
  24. Altmetric Badge
    Chapter 23 The Interpolation Theorem
  25. Altmetric Badge
    Chapter 24 Generalized Products
  26. Altmetric Badge
    Chapter 25 Equational Logic
  27. Altmetric Badge
    Chapter 26 Preservation and Characterization Theorems
  28. Altmetric Badge
    Chapter 27 Elementary Classes and Elementary Equivalence
  29. Altmetric Badge
    Chapter 28 Types
  30. Altmetric Badge
    Chapter 29 Saturated Structures
  31. Altmetric Badge
    Chapter 30 Inessential Variations
  32. Altmetric Badge
    Chapter 31 Finitary Extensions
  33. Altmetric Badge
    Chapter 32 Infinitary Extensions
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
3 X users
wikipedia
8 Wikipedia pages

Citations

dimensions_citation
245 Dimensions

Readers on

mendeley
12 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Mathematical Logic
Published by
Springer New York, January 1976
DOI 10.1007/978-1-4684-9452-5
ISBNs
978-1-4684-9454-9, 978-1-4684-9452-5
Authors

Monk, J. Donald

X Demographics

X Demographics

The data shown below were collected from the profiles of 3 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 12 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United Kingdom 1 8%
Unknown 11 92%

Demographic breakdown

Readers by professional status Count As %
Other 1 8%
Lecturer 1 8%
Student > Doctoral Student 1 8%
Student > Ph. D. Student 1 8%
Student > Master 1 8%
Other 2 17%
Unknown 5 42%
Readers by discipline Count As %
Computer Science 4 33%
Mathematics 3 25%
Agricultural and Biological Sciences 1 8%
Unknown 4 33%