Matches in SemOpenAlex for { <https://semopenalex.org/work/W155893846> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W155893846 abstract "There are different themes that run through different branches of mathematics. Arithmetic encoding— the simultaneously astounding breadth and limitations it engenders— has been a theme developed so far in this book. Another theme of logic is formalisation— the creation and study of formal language and logic. Such a theme is taken up in this chapter and ultimately wed to that of encoding and limitation." @default.
- W155893846 created "2016-06-24" @default.
- W155893846 creator A5004263789 @default.
- W155893846 date "1991-01-01" @default.
- W155893846 modified "2023-10-03" @default.
- W155893846 title "Weak Formal Theories of Arithmetic" @default.
- W155893846 cites W1513644114 @default.
- W155893846 cites W1964874178 @default.
- W155893846 cites W2015376829 @default.
- W155893846 cites W2032206544 @default.
- W155893846 cites W2036334014 @default.
- W155893846 cites W2054885127 @default.
- W155893846 cites W2492590561 @default.
- W155893846 cites W4213077439 @default.
- W155893846 cites W4242289817 @default.
- W155893846 cites W4594304 @default.
- W155893846 cites W563652063 @default.
- W155893846 doi "https://doi.org/10.1007/978-3-642-75462-3_3" @default.
- W155893846 hasPublicationYear "1991" @default.
- W155893846 type Work @default.
- W155893846 sameAs 155893846 @default.
- W155893846 citedByCount "0" @default.
- W155893846 crossrefType "book-chapter" @default.
- W155893846 hasAuthorship W155893846A5004263789 @default.
- W155893846 hasConcept C111472728 @default.
- W155893846 hasConcept C111919701 @default.
- W155893846 hasConcept C125411270 @default.
- W155893846 hasConcept C138885662 @default.
- W155893846 hasConcept C154945302 @default.
- W155893846 hasConcept C33566652 @default.
- W155893846 hasConcept C33923547 @default.
- W155893846 hasConcept C41008148 @default.
- W155893846 hasConcept C41895202 @default.
- W155893846 hasConcept C94375191 @default.
- W155893846 hasConceptScore W155893846C111472728 @default.
- W155893846 hasConceptScore W155893846C111919701 @default.
- W155893846 hasConceptScore W155893846C125411270 @default.
- W155893846 hasConceptScore W155893846C138885662 @default.
- W155893846 hasConceptScore W155893846C154945302 @default.
- W155893846 hasConceptScore W155893846C33566652 @default.
- W155893846 hasConceptScore W155893846C33923547 @default.
- W155893846 hasConceptScore W155893846C41008148 @default.
- W155893846 hasConceptScore W155893846C41895202 @default.
- W155893846 hasConceptScore W155893846C94375191 @default.
- W155893846 hasLocation W1558938461 @default.
- W155893846 hasOpenAccess W155893846 @default.
- W155893846 hasPrimaryLocation W1558938461 @default.
- W155893846 hasRelatedWork W1025464705 @default.
- W155893846 hasRelatedWork W126425937 @default.
- W155893846 hasRelatedWork W126812322 @default.
- W155893846 hasRelatedWork W1485286098 @default.
- W155893846 hasRelatedWork W1503481938 @default.
- W155893846 hasRelatedWork W1512625848 @default.
- W155893846 hasRelatedWork W1577927442 @default.
- W155893846 hasRelatedWork W1786644787 @default.
- W155893846 hasRelatedWork W1872728284 @default.
- W155893846 hasRelatedWork W1995866419 @default.
- W155893846 hasRelatedWork W2007119026 @default.
- W155893846 hasRelatedWork W2093138173 @default.
- W155893846 hasRelatedWork W218854924 @default.
- W155893846 hasRelatedWork W2581027266 @default.
- W155893846 hasRelatedWork W3018337236 @default.
- W155893846 hasRelatedWork W3038142877 @default.
- W155893846 hasRelatedWork W3131262632 @default.
- W155893846 hasRelatedWork W3187943202 @default.
- W155893846 hasRelatedWork W52676622 @default.
- W155893846 hasRelatedWork W968398489 @default.
- W155893846 isParatext "false" @default.
- W155893846 isRetracted "false" @default.
- W155893846 magId "155893846" @default.
- W155893846 workType "book-chapter" @default.