myshop.rulabirint.ruozon.rubookvoed.ruchitai-gorod.ru  

California UP


Книга Metalogic: An Introduction to the Metatheory of Standard First Order Logic. Hunter Geoffrey Metalogic: An Introduction to the Metatheory of Standard First Order Logic
Hunter Geoffrey
This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Inclu