↓ Skip to main content

Logic, Meaning and Computation

Overview of attention for book
Cover of 'Logic, Meaning and Computation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Logic, Truth and Number: The Elementary Genesis of Arithmetic
  3. Altmetric Badge
    Chapter 2 Second-Order Logic
  4. Altmetric Badge
    Chapter 3 A Representation of Relation Algebras Using Routley-Meyer Frames
  5. Altmetric Badge
    Chapter 4 Church’s Set Theory with a Universal Set
  6. Altmetric Badge
    Chapter 5 Axioms of Infinity in Church’s Type Theory
  7. Altmetric Badge
    Chapter 6 Logical Objects
  8. Altmetric Badge
    Chapter 7 The Lambda Calculus and Adjoint Functors
  9. Altmetric Badge
    Chapter 8 Atomic Boolean Algebras and Classical Propositional Logic
  10. Altmetric Badge
    Chapter 9 Improved Decision Procedures for Pure Relevant Logic
  11. Altmetric Badge
    Chapter 10 The “Triumph” of First-Order Languages
  12. Altmetric Badge
    Chapter 11 Equivalence Relations and Groups
  13. Altmetric Badge
    Chapter 12 Discriminating Coded Lambda Terms
  14. Altmetric Badge
    Chapter 13 λ-Calculus as a Foundation for Mathematics
  15. Altmetric Badge
    Chapter 14 Peano’s Lambda Calculus: The Functional Abstraction Implicit in Arithmetic
  16. Altmetric Badge
    Chapter 15 The Undecidability of λ-Definability
  17. Altmetric Badge
    Chapter 16 A Construction of the Provable Wellorderings of the Theory of Species
  18. Altmetric Badge
    Chapter 17 Semantics for First and Higher Order Realizability
  19. Altmetric Badge
    Chapter 18 Language and Equality Theory in Logic Programming
  20. Altmetric Badge
    Chapter 19 Alternative (1*): A Criterion of Identity for Intensional Entities
  21. Altmetric Badge
    Chapter 20 Nominalist Paraphrase and Ontological Commitment
  22. Altmetric Badge
    Chapter 21 Peace, Justice and Computation: Leibniz’ Program and the Moral and Political Significance of Church’s Theorem
  23. Altmetric Badge
    Chapter 22 Tarski’s Theorem and NFU
  24. Altmetric Badge
    Chapter 23 Church’s Theorem and Randomness
  25. Altmetric Badge
    Chapter 24 Russellian Type Theory and Semantical Paradoxes
  26. Altmetric Badge
    Chapter 25 The Logic of Sense and Denotation: Extensions and Applications
  27. Altmetric Badge
    Chapter 26 Analysis, Synonymy and Sense
  28. Altmetric Badge
    Chapter 27 The Very Possibility of Language
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
3 X users
wikipedia
1 Wikipedia page

Citations

dimensions_citation
12 Dimensions

Readers on

mendeley
11 Mendeley
citeulike
1 CiteULike
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
Logic, Meaning and Computation
Published by
Springer Netherlands, December 2012
DOI 10.1007/978-94-010-0526-5
ISBNs
978-9-40-103891-1, 978-9-40-100526-5
Editors

Anderson, C. Anthony, Zelëny, Michael

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 11 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Canada 1 9%
Unknown 10 91%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 3 27%
Researcher 2 18%
Professor 1 9%
Student > Ph. D. Student 1 9%
Professor > Associate Professor 1 9%
Other 0 0%
Unknown 3 27%
Readers by discipline Count As %
Philosophy 3 27%
Agricultural and Biological Sciences 2 18%
Mathematics 1 9%
Physics and Astronomy 1 9%
Social Sciences 1 9%
Other 1 9%
Unknown 2 18%