%0 Book %1 margaris1990first %A Margaris, Angelo %C New York %D 1990 %I Dover Publications %K 03-01-mathematical-logic-and-foundations-instructional-exposition 03b10-classical-first-order-logic 03b25-decidability-of-theories-and-sets-of-sequences 03b30-foundations-of-classical-theories 03c07-basic-properties-of-first-order-language-and-structure 03c35-categoricity-and-completeness-of-theories 03f30-first-order-arithmetic-and-fragments %T First order mathematical logic %U https://www.worldcat.org/title/first-order-mathematical-logic/oclc/20629052 %@ 0486662691 9780486662695

@book{margaris1990first, added-at = {2021-01-14T05:09:12.000+0100}, address = {New York}, author = {Margaris, Angelo}, biburl = {https://www.bibsonomy.org/bibtex/23b2f0f49162bf4d79acd1a8ddfc39013/gdmcbain}, interhash = {80e5db7714fb984455b1afb92d2f6338}, intrahash = {3b2f0f49162bf4d79acd1a8ddfc39013}, isbn = {0486662691 9780486662695}, keywords = {03-01-mathematical-logic-and-foundations-instructional-exposition 03b10-classical-first-order-logic 03b25-decidability-of-theories-and-sets-of-sequences 03b30-foundations-of-classical-theories 03c07-basic-properties-of-first-order-language-and-structure 03c35-categoricity-and-completeness-of-theories 03f30-first-order-arithmetic-and-fragments}, publisher = {Dover Publications}, refid = {20629052}, timestamp = {2021-01-14T05:13:10.000+0100}, title = {First order mathematical logic}, url = {https://www.worldcat.org/title/first-order-mathematical-logic/oclc/20629052}, year = 1990 }