00928nam0-22003011i-450-990000994730403321000099473FED01000099473(Aleph)000099473FED0100009947320000920d1967----km-y0itay50------bafraRecursivité, insaturation, decidabilité, constructabilitépar R. Fraissé[S.l.]Institut Blaise Pascal1967Cours de logique mathematiquetome 2In testa al front.: Logique a l'usage du calculateur.LogicaRicorsività160Fraïssé,Roland<1920-2008>368367ITUNINARICAUNIMARCBK9900009947304033217-20010608FI1FI1Recursivité, insaturation, decidabilité, constructabilité354048UNINAING01