Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297611745> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W4297611745 endingPage "278" @default.
- W4297611745 startingPage "237" @default.
- W4297611745 abstract "This new book on mathematical logic by Jeremy Avigad gives a thorough introduction to the fundamental results and methods of the subject from the syntactic point of view, emphasizing logic as the study of formal languages and systems and their proper use. Topics include proof theory, model theory, the theory of computability, and axiomatic foundations, with special emphasis given to aspects of mathematical logic that are fundamental to computer science, including deductive systems, constructive logic, the simply typed lambda calculus, and type-theoretic foundations." @default.
- W4297611745 created "2022-09-30" @default.
- W4297611745 date "2022-09-30" @default.
- W4297611745 modified "2023-09-27" @default.
- W4297611745 title "First-Order Arithmetic" @default.
- W4297611745 doi "https://doi.org/10.1017/9781108778756.011" @default.
- W4297611745 hasPublicationYear "2022" @default.
- W4297611745 type Work @default.
- W4297611745 citedByCount "0" @default.
- W4297611745 crossrefType "book-chapter" @default.
- W4297611745 hasConcept C101874905 @default.
- W4297611745 hasConcept C102993220 @default.
- W4297611745 hasConcept C108710211 @default.
- W4297611745 hasConcept C125773388 @default.
- W4297611745 hasConcept C167729594 @default.
- W4297611745 hasConcept C169896238 @default.
- W4297611745 hasConcept C178421362 @default.
- W4297611745 hasConcept C18903297 @default.
- W4297611745 hasConcept C199343813 @default.
- W4297611745 hasConcept C199360897 @default.
- W4297611745 hasConcept C20528804 @default.
- W4297611745 hasConcept C2318724 @default.
- W4297611745 hasConcept C2524010 @default.
- W4297611745 hasConcept C2777299769 @default.
- W4297611745 hasConcept C2777686260 @default.
- W4297611745 hasConcept C2778701210 @default.
- W4297611745 hasConcept C28077239 @default.
- W4297611745 hasConcept C33923547 @default.
- W4297611745 hasConcept C41008148 @default.
- W4297611745 hasConcept C47884741 @default.
- W4297611745 hasConcept C62073222 @default.
- W4297611745 hasConcept C6489637 @default.
- W4297611745 hasConcept C65148605 @default.
- W4297611745 hasConcept C71924100 @default.
- W4297611745 hasConcept C80444323 @default.
- W4297611745 hasConcept C86803240 @default.
- W4297611745 hasConcept C93682546 @default.
- W4297611745 hasConcept C97489613 @default.
- W4297611745 hasConcept C98045186 @default.
- W4297611745 hasConceptScore W4297611745C101874905 @default.
- W4297611745 hasConceptScore W4297611745C102993220 @default.
- W4297611745 hasConceptScore W4297611745C108710211 @default.
- W4297611745 hasConceptScore W4297611745C125773388 @default.
- W4297611745 hasConceptScore W4297611745C167729594 @default.
- W4297611745 hasConceptScore W4297611745C169896238 @default.
- W4297611745 hasConceptScore W4297611745C178421362 @default.
- W4297611745 hasConceptScore W4297611745C18903297 @default.
- W4297611745 hasConceptScore W4297611745C199343813 @default.
- W4297611745 hasConceptScore W4297611745C199360897 @default.
- W4297611745 hasConceptScore W4297611745C20528804 @default.
- W4297611745 hasConceptScore W4297611745C2318724 @default.
- W4297611745 hasConceptScore W4297611745C2524010 @default.
- W4297611745 hasConceptScore W4297611745C2777299769 @default.
- W4297611745 hasConceptScore W4297611745C2777686260 @default.
- W4297611745 hasConceptScore W4297611745C2778701210 @default.
- W4297611745 hasConceptScore W4297611745C28077239 @default.
- W4297611745 hasConceptScore W4297611745C33923547 @default.
- W4297611745 hasConceptScore W4297611745C41008148 @default.
- W4297611745 hasConceptScore W4297611745C47884741 @default.
- W4297611745 hasConceptScore W4297611745C62073222 @default.
- W4297611745 hasConceptScore W4297611745C6489637 @default.
- W4297611745 hasConceptScore W4297611745C65148605 @default.
- W4297611745 hasConceptScore W4297611745C71924100 @default.
- W4297611745 hasConceptScore W4297611745C80444323 @default.
- W4297611745 hasConceptScore W4297611745C86803240 @default.
- W4297611745 hasConceptScore W4297611745C93682546 @default.
- W4297611745 hasConceptScore W4297611745C97489613 @default.
- W4297611745 hasConceptScore W4297611745C98045186 @default.
- W4297611745 hasLocation W42976117451 @default.
- W4297611745 hasOpenAccess W4297611745 @default.
- W4297611745 hasPrimaryLocation W42976117451 @default.
- W4297611745 hasRelatedWork W1541309050 @default.
- W4297611745 hasRelatedWork W155183251 @default.
- W4297611745 hasRelatedWork W164671196 @default.
- W4297611745 hasRelatedWork W1857772473 @default.
- W4297611745 hasRelatedWork W1999703197 @default.
- W4297611745 hasRelatedWork W2089702017 @default.
- W4297611745 hasRelatedWork W2965835327 @default.
- W4297611745 hasRelatedWork W30156491 @default.
- W4297611745 hasRelatedWork W838397816 @default.
- W4297611745 hasRelatedWork W2183851921 @default.
- W4297611745 isParatext "false" @default.
- W4297611745 isRetracted "false" @default.
- W4297611745 workType "book-chapter" @default.