Autor:	Martin Davis
Rok vydání:	2018
Předmět:	Algebra symbols.namesake symbols Boole's expansion theorem Abstract algebraic logic Algebra over a field Boole's syllogistic Boolean algebra Mathematics
Zdroj:	the Universal Computer ISBN: 9781315144726 The Universal Computer: The Road from Leibniz to Turing
DOI:	10.1201/9781315144726-2
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::920fbe8339275d9897412845704afa30 https://doi.org/10.1201/9781315144726-2 Zobrazit plný text záznamu