Dettaglio del documento copertina Condividi Trova il documento in altre risorse ???scheda.servizi.button??? Facebook Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983 eBook Springer <editore> 1984 Scrivi una recensione e condividila con gli altri lettori. Contiene Lo trovi in Scheda Part 2.: Computation and Proof Theory, 1984 Part 1.: Models and sets, 1984 https://unina2.on-line.it/opac/resource/VAN00263396
