Computational logic and set theory applying formalized logic to analysis - Schwartz, Jacob T., 1930-2009; Cantone, Domenico; Omodeo, Eugenio, 1951- (Springer, 2011)
Název z titulní obrazovky
Keywords: počítačová věda; formální logika; matematická logika; teorie množin; počítačové programy; softwarové inženýrství; logické programování; computer science; set theory; mathematical logic; formal logic; computer programs; software engineering; logic programming; elektronické knihy; příručky; electronic books; handbooks, manuals, etc