%0 Book %1 citeulike:14271275 %A Jeffrey, Richard C. %C New York %D 1991 %I McGraw-Hill %K 03b25-decidability-of-theories-and-sets-of-sequences, 03c10-quantifier-elimination-model-completeness, 11u05-number-theory-decidability 03b15-higher-order-logic-type-theory 03-01-mathematical-logic-and-foundations-instructional-exposition 03b05-classical-propositional-logic 03b35-mechanization-of-proofs-and-logical-operations %T Formal Logic: Its Scope and Limits %7 Third

@book{citeulike:14271275, added-at = {2017-06-29T07:13:07.000+0200}, address = {New York}, author = {Jeffrey, Richard C.}, biburl = {https://www.bibsonomy.org/bibtex/275c5527140b9e59e6a6b0be468ae76ab/gdmcbain}, citeulike-article-id = {14271275}, comment = {Cited by Priest 2001}, edition = {Third}, interhash = {923837308e41960e7da595ad3c8a3ee2}, intrahash = {75c5527140b9e59e6a6b0be468ae76ab}, keywords = {03b25-decidability-of-theories-and-sets-of-sequences, 03c10-quantifier-elimination-model-completeness, 11u05-number-theory-decidability 03b15-higher-order-logic-type-theory 03-01-mathematical-logic-and-foundations-instructional-exposition 03b05-classical-propositional-logic 03b35-mechanization-of-proofs-and-logical-operations}, posted-at = {2017-02-04 01:51:41}, priority = {0}, publisher = {McGraw-Hill}, timestamp = {2021-01-14T05:05:02.000+0100}, title = {{Formal Logic: Its Scope and Limits}}, year = 1991 }