Matches in SemOpenAlex for { <https://semopenalex.org/work/W1563144173> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1563144173 abstract "For the past four years, we have been teaching logic and discrete math at the freshman-sophomore college level using an approach that regards logic as a basic tool —instead of as just another academic subject. We strive to give students a skill in using the propositional and predicate calculi and then to exercise that skill thoroughly in teaching other topics of discrete math. Almost all proofs are done formally, using a calculational logic in which substitution of equals for equals is the main inference rule." @default.
- W1563144173 created "2016-06-24" @default.
- W1563144173 creator A5044870072 @default.
- W1563144173 date "1998-01-01" @default.
- W1563144173 modified "2023-09-28" @default.
- W1563144173 title "Teaching Calculational Logic" @default.
- W1563144173 doi "https://doi.org/10.1007/978-0-387-35358-6_5" @default.
- W1563144173 hasPublicationYear "1998" @default.
- W1563144173 type Work @default.
- W1563144173 sameAs 1563144173 @default.
- W1563144173 citedByCount "1" @default.
- W1563144173 countsByYear W15631441732019 @default.
- W1563144173 crossrefType "book-chapter" @default.
- W1563144173 hasAuthorship W1563144173A5044870072 @default.
- W1563144173 hasBestOaLocation W15631441731 @default.
- W1563144173 hasConcept C100481476 @default.
- W1563144173 hasConcept C102993220 @default.
- W1563144173 hasConcept C108710211 @default.
- W1563144173 hasConcept C110039528 @default.
- W1563144173 hasConcept C136119220 @default.
- W1563144173 hasConcept C140146324 @default.
- W1563144173 hasConcept C14523651 @default.
- W1563144173 hasConcept C145420912 @default.
- W1563144173 hasConcept C161191863 @default.
- W1563144173 hasConcept C191222856 @default.
- W1563144173 hasConcept C19689857 @default.
- W1563144173 hasConcept C199343813 @default.
- W1563144173 hasConcept C199360897 @default.
- W1563144173 hasConcept C202444582 @default.
- W1563144173 hasConcept C203659156 @default.
- W1563144173 hasConcept C2524010 @default.
- W1563144173 hasConcept C2777686260 @default.
- W1563144173 hasConcept C2777855551 @default.
- W1563144173 hasConcept C33203268 @default.
- W1563144173 hasConcept C33923547 @default.
- W1563144173 hasConcept C41008148 @default.
- W1563144173 hasConcept C47884741 @default.
- W1563144173 hasConcept C69562738 @default.
- W1563144173 hasConcept C71924100 @default.
- W1563144173 hasConceptScore W1563144173C100481476 @default.
- W1563144173 hasConceptScore W1563144173C102993220 @default.
- W1563144173 hasConceptScore W1563144173C108710211 @default.
- W1563144173 hasConceptScore W1563144173C110039528 @default.
- W1563144173 hasConceptScore W1563144173C136119220 @default.
- W1563144173 hasConceptScore W1563144173C140146324 @default.
- W1563144173 hasConceptScore W1563144173C14523651 @default.
- W1563144173 hasConceptScore W1563144173C145420912 @default.
- W1563144173 hasConceptScore W1563144173C161191863 @default.
- W1563144173 hasConceptScore W1563144173C191222856 @default.
- W1563144173 hasConceptScore W1563144173C19689857 @default.
- W1563144173 hasConceptScore W1563144173C199343813 @default.
- W1563144173 hasConceptScore W1563144173C199360897 @default.
- W1563144173 hasConceptScore W1563144173C202444582 @default.
- W1563144173 hasConceptScore W1563144173C203659156 @default.
- W1563144173 hasConceptScore W1563144173C2524010 @default.
- W1563144173 hasConceptScore W1563144173C2777686260 @default.
- W1563144173 hasConceptScore W1563144173C2777855551 @default.
- W1563144173 hasConceptScore W1563144173C33203268 @default.
- W1563144173 hasConceptScore W1563144173C33923547 @default.
- W1563144173 hasConceptScore W1563144173C41008148 @default.
- W1563144173 hasConceptScore W1563144173C47884741 @default.
- W1563144173 hasConceptScore W1563144173C69562738 @default.
- W1563144173 hasConceptScore W1563144173C71924100 @default.
- W1563144173 hasLocation W15631441731 @default.
- W1563144173 hasOpenAccess W1563144173 @default.
- W1563144173 hasPrimaryLocation W15631441731 @default.
- W1563144173 hasRelatedWork W1512391243 @default.
- W1563144173 hasRelatedWork W1580465142 @default.
- W1563144173 hasRelatedWork W1595389604 @default.
- W1563144173 hasRelatedWork W1979013042 @default.
- W1563144173 hasRelatedWork W1998906419 @default.
- W1563144173 hasRelatedWork W2011291111 @default.
- W1563144173 hasRelatedWork W2017539366 @default.
- W1563144173 hasRelatedWork W2082145599 @default.
- W1563144173 hasRelatedWork W2109000567 @default.
- W1563144173 hasRelatedWork W2112250621 @default.
- W1563144173 hasRelatedWork W2143088892 @default.
- W1563144173 hasRelatedWork W2186044446 @default.
- W1563144173 hasRelatedWork W2212460537 @default.
- W1563144173 hasRelatedWork W2293558339 @default.
- W1563144173 hasRelatedWork W2297557264 @default.
- W1563144173 hasRelatedWork W2372853020 @default.
- W1563144173 hasRelatedWork W2611288099 @default.
- W1563144173 hasRelatedWork W3093494525 @default.
- W1563144173 hasRelatedWork W3095311986 @default.
- W1563144173 hasRelatedWork W2582798138 @default.
- W1563144173 isParatext "false" @default.
- W1563144173 isRetracted "false" @default.
- W1563144173 magId "1563144173" @default.
- W1563144173 workType "book-chapter" @default.