01048nam0-22003371i-450-9900010283804033211-56881-153-5000102838FED01000102838(Aleph)000102838FED0100010283820011211d1996----km-y0itay50------baengUS--------101yyGodel '96logical foundations of mathematics, computer science, and physics - Kurt Godel's Legacyedited by Petr HajekNatick (MA)Association for Symbolic Logicc1996VIII, 322 p.24 cmLecture notes in logic6LogicaRicorsivitàHajek,PetrLOGICAL FOUNDATIONS OF MATHEMATICS, COMPUTER SCIENCE, AND PHYSICS - KURT GODEL'S LEGACY48950GODEL '9648951ITUNINARICAUNIMARCBK9900010283804033217-247D.S.F. 7505FI1FI1Godel '96339309UNINA