01099nam0-22003971i-450-99000101888040332120130508112331.0000101888FED01000101888(Aleph)000101888FED0100010188820130508d1967----km-y0itay50------bafreFRy-------001yyEléments de logique mathématiquethéorie des modèlesG. Kreisel, J.L. KrivineParisDunod1967VIII, 212 p.25 cmMonographies de la Société mathématique de France3LogicaRicorsività160511.3Kreisel,George492398Krivine,Jean-Louis13113ITUNINARICAUNIMARCBK9900010188804033217-0525475FI102 21 B 41409FINBNMXXXII-B-52967MASFI1FINBNMASEléments de logique mathématique355532UNINA