Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385198284> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W4385198284 endingPage "12" @default.
- W4385198284 startingPage "7" @default.
- W4385198284 abstract "This chapter briefly recapitulates the main ingredients of Booleans, propositional logic, first-order logic, set theory, functions, and relations. The main purpose of this chapter is to provide a quick reference for formal notation used in later chapters; for more detailed information, examples, and intuition, we refer the reader to textbooks on this topic, such as [154]." @default.
- W4385198284 created "2023-07-25" @default.
- W4385198284 creator A5036964869 @default.
- W4385198284 creator A5045181048 @default.
- W4385198284 date "2023-01-01" @default.
- W4385198284 modified "2023-09-23" @default.
- W4385198284 title "First-Order Logic and Set Theory" @default.
- W4385198284 doi "https://doi.org/10.1007/978-3-031-30167-4_2" @default.
- W4385198284 hasPublicationYear "2023" @default.
- W4385198284 type Work @default.
- W4385198284 citedByCount "0" @default.
- W4385198284 crossrefType "book-chapter" @default.
- W4385198284 hasAuthorship W4385198284A5036964869 @default.
- W4385198284 hasAuthorship W4385198284A5045181048 @default.
- W4385198284 hasConcept C100481476 @default.
- W4385198284 hasConcept C111472728 @default.
- W4385198284 hasConcept C132010649 @default.
- W4385198284 hasConcept C138885662 @default.
- W4385198284 hasConcept C153046414 @default.
- W4385198284 hasConcept C177264268 @default.
- W4385198284 hasConcept C199360897 @default.
- W4385198284 hasConcept C41008148 @default.
- W4385198284 hasConcept C41895202 @default.
- W4385198284 hasConcept C45357846 @default.
- W4385198284 hasConcept C69562738 @default.
- W4385198284 hasConceptScore W4385198284C100481476 @default.
- W4385198284 hasConceptScore W4385198284C111472728 @default.
- W4385198284 hasConceptScore W4385198284C132010649 @default.
- W4385198284 hasConceptScore W4385198284C138885662 @default.
- W4385198284 hasConceptScore W4385198284C153046414 @default.
- W4385198284 hasConceptScore W4385198284C177264268 @default.
- W4385198284 hasConceptScore W4385198284C199360897 @default.
- W4385198284 hasConceptScore W4385198284C41008148 @default.
- W4385198284 hasConceptScore W4385198284C41895202 @default.
- W4385198284 hasConceptScore W4385198284C45357846 @default.
- W4385198284 hasConceptScore W4385198284C69562738 @default.
- W4385198284 hasLocation W43851982841 @default.
- W4385198284 hasOpenAccess W4385198284 @default.
- W4385198284 hasPrimaryLocation W43851982841 @default.
- W4385198284 hasRelatedWork W1501252054 @default.
- W4385198284 hasRelatedWork W2090686886 @default.
- W4385198284 hasRelatedWork W2504102258 @default.
- W4385198284 hasRelatedWork W2985498575 @default.
- W4385198284 hasRelatedWork W3124623193 @default.
- W4385198284 hasRelatedWork W4237127835 @default.
- W4385198284 hasRelatedWork W45335557 @default.
- W4385198284 hasRelatedWork W69582190 @default.
- W4385198284 hasRelatedWork W91422207 @default.
- W4385198284 hasRelatedWork W1691032207 @default.
- W4385198284 isParatext "false" @default.
- W4385198284 isRetracted "false" @default.
- W4385198284 workType "book-chapter" @default.