Mathesis Universalis, Computability and Proof

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Outros autores:	Centrone, Stefania (Editor), Negri, Sara (Editor), Sarikaya, Deniz (Editor), Schuster, Peter M. (Editor)
Summary:	X, 374 p. 38 illus. text
Idioma:	inglés
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2019.
Edición:	1st ed. 2019.
Series:	Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 412
Subjects:	Logic. Mathematical logic. Machine theory. Mathematical Logic and Foundations. Formal Languages and Automata Theory.
Acceso en liña:	https://doi.org/10.1007/978-3-030-20447-1
Formato:	Electrónico Libro

Internet