Boek
This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard, basically truth-functional first order logic. It also explains concepts of mathematics and set theory for non-mathematicians. «
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Er zijn nog geen recensies voor dit boek.