Número de Cutter-SanbornO56mEntrada «Omo» → 56 · marca de obra “m”

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Name: Martin Davis on Computability, Computational Logic, and Mathematical Foundations
ISBN: 9783319824437

Autor	Eugenio G. Omodeo, Alberto Policriti
Editorial	Springer
Fecha de publicación	May 03, 2018
Páginas	465
Formato	paperback

Martin Davis on Computability, Computational Logic, and Mathematical Foundations (2018) — | Cutter Number