Logic, foundations of mathematics and computability theory : proceedings

Autor secundário: Butts , Robert E.Autor Institucional (Principal): International Congress of Logic Methodology and Philosophy of Science, , 5,, London,, 1975Língua: Inglês.País: Holanda.Publicação: Dordrecht : D. Reidel, 1977Descrição: X, 406 pColeção: (The University of Western Ontário series in philosophy of science ; 9)Assunto : Lógica simbólica e matemática // Computação // Filosofia da ciência CDU: 510