00745nam0-22002531i-450-99000119193040332120071107120339.0000119193FED01000119193(Aleph)000119193FED0100011919320001205d1987----km-y0itay50------baeng<<La >>macchina e le dimostrazioniMatematica logica e informaticadi LOLLI Gabriele.BolognaIl Mulino1987 L a macchina e le dLolli,Gabriele48877ITUNINARICAUNIMARCBK990001191930403321114-E-554597MA1ZIT-12522623MA1MA1Macchina e le dimostrazioni79088UNINA