01158nam a2200337 i 450099100102061970753620020507181755.0931106s1986 us ||| | eng 0120585367b10790056-39ule_instLE01305846ExLDip.to Matematicaeng511.3AMS 03-01AMS 03-XXAMS 03BQA9.A638Andrews, Peter B.44359An introduction to mathematical logic and type theory :to truth through proof /Peter B. AndrewsOrlando :Academic Press,1986xv, 304 p. ;23 cm.Computer science and applied mathematicsMathematical logicSymbolic logicType theory.b1079005623-02-1728-06-02991001020619707536LE013 03-XX AND11 (1986)12013000073279le013-E0.00-l- 00000.i1089056728-06-02Introduction to mathematical logic and type theory338324UNISALENTOle01301-01-93ma -engus 31