%0 Book %1 citeulike:14255463 %A Jeffrey, Richard C. %C New York %D 1967 %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

@book{citeulike:14255463, added-at = {2017-06-29T07:13:07.000+0200}, address = {New York}, author = {Jeffrey, Richard C.}, biburl = {https://www.bibsonomy.org/bibtex/23d7179bdbbe3df78d0de56179dd55e9e/gdmcbain}, citeulike-article-id = {14255463}, comment = {(private-note)Holdings: pers.}, interhash = {bfccdab603a3550c95f2478c3ba052b6}, intrahash = {3d7179bdbbe3df78d0de56179dd55e9e}, 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-01-16 06:40:28}, priority = {0}, publisher = {McGraw-Hill}, timestamp = {2021-01-14T05:05:02.000+0100}, title = {{Formal Logic: Its Scope and Limits}}, year = 1967 }