Open AccessThe unsolvability of the Gödel class with identity
Author(s) -
Warren Goldfarb
Publication year - 1984
Publication title -
journal of symbolic logic
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.831
H-Index - 47
eISSN - 1943-5886
pISSN - 0022-4812
DOI - 10.2307/2274274
Subject(s) - mathematics , undecidable problem , class (philosophy) , decidability , identity (music) , combinatorics , predicate (mathematical logic) , discrete mathematics , satisfiability , pure mathematics , computer science , physics , artificial intelligence , acoustics , programming language
The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom