Matches in SemOpenAlex for { <https://semopenalex.org/work/W616297002> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W616297002 abstract "This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field." @default.
- W616297002 created "2016-06-24" @default.
- W616297002 creator A5060720898 @default.
- W616297002 date "1993-07-15" @default.
- W616297002 modified "2023-10-01" @default.
- W616297002 title "Recursion Theory for Metamathematics" @default.
- W616297002 doi "https://doi.org/10.1093/oso/9780195082326.001.0001" @default.
- W616297002 hasPublicationYear "1993" @default.
- W616297002 type Work @default.
- W616297002 sameAs 616297002 @default.
- W616297002 citedByCount "22" @default.
- W616297002 countsByYear W6162970022012 @default.
- W616297002 countsByYear W6162970022015 @default.
- W616297002 countsByYear W6162970022016 @default.
- W616297002 countsByYear W6162970022017 @default.
- W616297002 countsByYear W6162970022020 @default.
- W616297002 countsByYear W6162970022021 @default.
- W616297002 countsByYear W6162970022023 @default.
- W616297002 crossrefType "book" @default.
- W616297002 hasAuthorship W616297002A5060720898 @default.
- W616297002 hasConcept C111142201 @default.
- W616297002 hasConcept C111472728 @default.
- W616297002 hasConcept C118615104 @default.
- W616297002 hasConcept C126838900 @default.
- W616297002 hasConcept C136119220 @default.
- W616297002 hasConcept C138885662 @default.
- W616297002 hasConcept C168773036 @default.
- W616297002 hasConcept C180937797 @default.
- W616297002 hasConcept C199343813 @default.
- W616297002 hasConcept C199360897 @default.
- W616297002 hasConcept C202444582 @default.
- W616297002 hasConcept C2777601897 @default.
- W616297002 hasConcept C2777686260 @default.
- W616297002 hasConcept C2781302003 @default.
- W616297002 hasConcept C33923547 @default.
- W616297002 hasConcept C41008148 @default.
- W616297002 hasConcept C71924100 @default.
- W616297002 hasConcept C9652623 @default.
- W616297002 hasConcept C97489613 @default.
- W616297002 hasConceptScore W616297002C111142201 @default.
- W616297002 hasConceptScore W616297002C111472728 @default.
- W616297002 hasConceptScore W616297002C118615104 @default.
- W616297002 hasConceptScore W616297002C126838900 @default.
- W616297002 hasConceptScore W616297002C136119220 @default.
- W616297002 hasConceptScore W616297002C138885662 @default.
- W616297002 hasConceptScore W616297002C168773036 @default.
- W616297002 hasConceptScore W616297002C180937797 @default.
- W616297002 hasConceptScore W616297002C199343813 @default.
- W616297002 hasConceptScore W616297002C199360897 @default.
- W616297002 hasConceptScore W616297002C202444582 @default.
- W616297002 hasConceptScore W616297002C2777601897 @default.
- W616297002 hasConceptScore W616297002C2777686260 @default.
- W616297002 hasConceptScore W616297002C2781302003 @default.
- W616297002 hasConceptScore W616297002C33923547 @default.
- W616297002 hasConceptScore W616297002C41008148 @default.
- W616297002 hasConceptScore W616297002C71924100 @default.
- W616297002 hasConceptScore W616297002C9652623 @default.
- W616297002 hasConceptScore W616297002C97489613 @default.
- W616297002 hasLocation W6162970021 @default.
- W616297002 hasOpenAccess W616297002 @default.
- W616297002 hasPrimaryLocation W6162970021 @default.
- W616297002 hasRelatedWork W1516431014 @default.
- W616297002 hasRelatedWork W1552390722 @default.
- W616297002 hasRelatedWork W1555412307 @default.
- W616297002 hasRelatedWork W2122452852 @default.
- W616297002 hasRelatedWork W2172247778 @default.
- W616297002 hasRelatedWork W2401016457 @default.
- W616297002 hasRelatedWork W4250417020 @default.
- W616297002 hasRelatedWork W616297002 @default.
- W616297002 hasRelatedWork W645538058 @default.
- W616297002 hasRelatedWork W1594476753 @default.
- W616297002 isParatext "false" @default.
- W616297002 isRetracted "false" @default.
- W616297002 magId "616297002" @default.
- W616297002 workType "book" @default.