00968nam a2200301 i 450099100111287970753620020507183510.0950306s1967 us ||| | eng b10802691-39ule_instLE01307227ExLDip.to Matematicaeng511.3AMS 03-01AMS 03-XXLC QA9Kleene, Stephen Cole57809Mathematical logic /Stephen Cole KleeneNew York :c1967xiii, 398 p. :ill. ;24 cmBibliography: p. 371-386Mathematical logicSymbolic logic.b1080269108-08-0728-06-02991001112879707536LE013 03-XX KLE11 (1967)12013000023953le013-E0.00-l- 02120.i1090696428-06-02Mathematical logic381023UNISALENTOle01301-01-95ma -engus 01