Matches in SemOpenAlex for { <https://semopenalex.org/work/W289177501> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W289177501 abstract "Preface 1. Introduction Part I. Propositional Logic: 2. Atomic sentences 3. Conjunctions, disjunctions, and negations 4. Conditionals and biconditionals Part II. Quantifiers: 5. Introduction to quantification 6. Sentences with more than one quantifier 7. Some specific uses of quantifiers Part III. Applications of first-order logic: 8. First-order set theory 9. Induction Part IV. Advanced Topics: 10. Advanced topics in propositional logic 11. Advanced topics in FOL Reference material General index Tarski's world index Exercise files index." @default.
- W289177501 created "2016-06-24" @default.
- W289177501 creator A5035886340 @default.
- W289177501 creator A5071371645 @default.
- W289177501 date "1992-01-01" @default.
- W289177501 modified "2023-09-26" @default.
- W289177501 title "The Language of First-Order Logic Including the Ibm-Compatible Windows Version of Tarski's World 4.0" @default.
- W289177501 hasPublicationYear "1992" @default.
- W289177501 type Work @default.
- W289177501 sameAs 289177501 @default.
- W289177501 citedByCount "3" @default.
- W289177501 crossrefType "book" @default.
- W289177501 hasAuthorship W289177501A5035886340 @default.
- W289177501 hasAuthorship W289177501A5071371645 @default.
- W289177501 hasConcept C100481476 @default.
- W289177501 hasConcept C102993220 @default.
- W289177501 hasConcept C110039528 @default.
- W289177501 hasConcept C118615104 @default.
- W289177501 hasConcept C154945302 @default.
- W289177501 hasConcept C177264268 @default.
- W289177501 hasConcept C199343813 @default.
- W289177501 hasConcept C199360897 @default.
- W289177501 hasConcept C203659156 @default.
- W289177501 hasConcept C2185349 @default.
- W289177501 hasConcept C2777382242 @default.
- W289177501 hasConcept C2777686260 @default.
- W289177501 hasConcept C2778523021 @default.
- W289177501 hasConcept C33923547 @default.
- W289177501 hasConcept C41008148 @default.
- W289177501 hasConcept C69562738 @default.
- W289177501 hasConcept C71924100 @default.
- W289177501 hasConceptScore W289177501C100481476 @default.
- W289177501 hasConceptScore W289177501C102993220 @default.
- W289177501 hasConceptScore W289177501C110039528 @default.
- W289177501 hasConceptScore W289177501C118615104 @default.
- W289177501 hasConceptScore W289177501C154945302 @default.
- W289177501 hasConceptScore W289177501C177264268 @default.
- W289177501 hasConceptScore W289177501C199343813 @default.
- W289177501 hasConceptScore W289177501C199360897 @default.
- W289177501 hasConceptScore W289177501C203659156 @default.
- W289177501 hasConceptScore W289177501C2185349 @default.
- W289177501 hasConceptScore W289177501C2777382242 @default.
- W289177501 hasConceptScore W289177501C2777686260 @default.
- W289177501 hasConceptScore W289177501C2778523021 @default.
- W289177501 hasConceptScore W289177501C33923547 @default.
- W289177501 hasConceptScore W289177501C41008148 @default.
- W289177501 hasConceptScore W289177501C69562738 @default.
- W289177501 hasConceptScore W289177501C71924100 @default.
- W289177501 hasLocation W2891775011 @default.
- W289177501 hasOpenAccess W289177501 @default.
- W289177501 hasPrimaryLocation W2891775011 @default.
- W289177501 hasRelatedWork W1193658014 @default.
- W289177501 hasRelatedWork W1505395785 @default.
- W289177501 hasRelatedWork W1508725420 @default.
- W289177501 hasRelatedWork W1514605802 @default.
- W289177501 hasRelatedWork W1531159060 @default.
- W289177501 hasRelatedWork W1720348857 @default.
- W289177501 hasRelatedWork W189402265 @default.
- W289177501 hasRelatedWork W1984979605 @default.
- W289177501 hasRelatedWork W2053254769 @default.
- W289177501 hasRelatedWork W2071477518 @default.
- W289177501 hasRelatedWork W2081976468 @default.
- W289177501 hasRelatedWork W2090711991 @default.
- W289177501 hasRelatedWork W2110182592 @default.
- W289177501 hasRelatedWork W2917963553 @default.
- W289177501 hasRelatedWork W362162902 @default.
- W289177501 hasRelatedWork W561326750 @default.
- W289177501 hasRelatedWork W568750796 @default.
- W289177501 hasRelatedWork W648526243 @default.
- W289177501 hasRelatedWork W659588069 @default.
- W289177501 hasRelatedWork W78256904 @default.
- W289177501 isParatext "false" @default.
- W289177501 isRetracted "false" @default.
- W289177501 magId "289177501" @default.
- W289177501 workType "book" @default.