01341nam0 22003613i 450 NAP041297220251003044250.0287647005520080711e20041971||||0itac50 bafreengfrz01i xxxe z01nLogique mathématiqueStephen C. Kleene[Paris]J. Gabay[2004]413 p.24 cmTraduzione dall'ingleseRipr. facs. dell'ed.: Paris : A. Colin, 1971.Mathematical logicLO10053469LO1V030580381023Logica matematicaFIRCFIC000378E511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)14Logica simbolicaLogica matematica <Logica simbolica>Logica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Kleene, Stephen ColeRAVV07150307057809ITIT-00000020080711IT-BN0095 NAP 01RIPR. FACS$NAP0412972Biblioteca Centralizzata di Ateneo1 v.1 v. 01RIPR. FACSFr. B 0107 0102 0000068245 VMA 1 v.Y 2008052720080527 01Mathematical logic381023UNISANNIO