00701cam a2200205Mi 450000500170000000800410001702000190005802000160007704000500009304100080014310000280015124500950017926000610027430000240033550400530035965000140041265000270042665000240045365000180047720180622105855.0141113s2012    enk    fr     001 0 eng d  a9781107020917   a1107020913   aCO-BoUCMbspacJose A. GerenadJose A. Gerena0 aeng1 aDutilh Novaes, Catarina10aFormal languages in logicba philosophical and cognitive analysis cCatarina Dutilh Novaes  aCambridge (Inglaterra)bCambridge University pressc2012  aviii, 275 páginas  aIncluye referencias bibliográficas e índices 7aLógica  7aLógica matemática  7aLenguajes formales  7aRazonamiento