%0 Book %1 citeulike:14257742 %A Jeffrey, Richard C. %C New York %D 1981 %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 03b05-classical-propositional-logic 03b35-mechanization-of-proofs-and-logical-operations %T Formal Logic: Its Scope and Limits %7 Second

@book{citeulike:14257742, added-at = {2017-06-29T07:13:07.000+0200}, address = {New York}, author = {Jeffrey, Richard C.}, biburl = {https://www.bibsonomy.org/bibtex/247f2fafb3ca643d1a142a684d275c002/gdmcbain}, citeulike-article-id = {14257742}, comment = {(private-note)Holdings: pers.}, edition = {Second}, interhash = {394651f3b07cf42a3665559e7313598a}, intrahash = {47f2fafb3ca643d1a142a684d275c002}, keywords = {03b25-decidability-of-theories-and-sets-of-sequences, 03c10-quantifier-elimination-model-completeness, 11u05-number-theory-decidability 03b15-higher-order-logic-type-theory 03b05-classical-propositional-logic 03b35-mechanization-of-proofs-and-logical-operations}, posted-at = {2017-01-19 03:57:42}, priority = {2}, publisher = {McGraw-Hill}, timestamp = {2021-01-14T05:05:02.000+0100}, title = {{Formal Logic: Its Scope and Limits}}, year = 1981 }