Rosser's trick
Sign in to savemethod in mathematical logic
In the Vinony graph
Vinony's link graph records 8 inbound references to Rosser's trick, and connects out to International Standard Book Number, natural number and digital object identifier.
It is catalogued under the topic Mathematical logic.
Vinony links it to 5 Wikipedia language editions.
Connections
International Standard Book Number
Entity
natural number
Entity
digital object identifier
Entity
mathematical logic
Entity
JSTOR
Organization
Gödel's incompleteness theorems
Entity
Semantic Scholar
Entity
first-order logic
Entity
Peano axioms
Entity
elementary arithmetic
Entity
Rosser's theorem
Entity
J. Barkley Rosser
Entity
diagonal lemma
Entity
Journal of Symbolic Logic
Entity
Jon Barwise
Entity