01222nam0-22004091i-450-99000099469040332120070611153747.0000099469FED01000099469(Aleph)000099469FED0100009946920001205g19711973km-y0itay50------bafreCours de Logique MathématiqueRoland Fraissé2e ed. revue et modifiéeParisGauthier-Villars1971-19733v.24 cmCollection de logique mathématiqueSérie A23-241.: Relation et formule logique2.: Théorie des modèles3.: Recursivité et constructibilitéLogicaRicorsività160Fraïssé,Roland<1920-2008>368367ITUNINARICAUNIMARCBK9900009946904033217-1588156FI17-158.001FI121-L-23-BIS14176MA121-L-2520592MA121-L-2414082MA1MXXXII-B-882136MASFI1MA1MASCours de Logique Mathématique354050UNINA