A formalization of logic in diagonal-free cylindric algebras
Andrew John Ylvisaker · 2012
ProQuest powers research in academic, corporate, government, public and school libraries around the world with unique content. Explore millions of resources from scholarly journals, books, newspapers, videos and more.