{"title":"The Formal Language of Propositional Logic","authors":"M. Reghiş, E. Roventa","doi":"10.1201/9781003067924-3","DOIUrl":"https://doi.org/10.1201/9781003067924-3","url":null,"abstract":"","PeriodicalId":393795,"journal":{"name":"Classical and Fuzzy Concepts in Mathematical Logic and Applications","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117056662","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Applications of Propositional Logic in Computer Science","authors":"M. Reghiş, E. Roventa","doi":"10.1201/9781003067924-9","DOIUrl":"https://doi.org/10.1201/9781003067924-9","url":null,"abstract":"","PeriodicalId":393795,"journal":{"name":"Classical and Fuzzy Concepts in Mathematical Logic and Applications","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131600443","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Exercises (Part I)","authors":"M. Reghiş, E. Roventa","doi":"10.1201/9781003067924-10","DOIUrl":"https://doi.org/10.1201/9781003067924-10","url":null,"abstract":"","PeriodicalId":393795,"journal":{"name":"Classical and Fuzzy Concepts in Mathematical Logic and Applications","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125019379","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Introduction to “Naive” Mathematical Logic","authors":"M. Reghiş, E. Roventa","doi":"10.1201/9781003067924-1","DOIUrl":"https://doi.org/10.1201/9781003067924-1","url":null,"abstract":"","PeriodicalId":393795,"journal":{"name":"Classical and Fuzzy Concepts in Mathematical Logic and Applications","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125927561","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The Formal Language of Predicate Logic","authors":"M. Reghiş, E. Roventa","doi":"10.1201/9781003067924-13","DOIUrl":"https://doi.org/10.1201/9781003067924-13","url":null,"abstract":"","PeriodicalId":393795,"journal":{"name":"Classical and Fuzzy Concepts in Mathematical Logic and Applications","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2022-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126034864","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}