Computational logic and set theory applying formalized logic to analysis

• Main Authors: Schwartz, Jacob T., 1930-2009 (Author), Cantone, Domenico (Author), Omodeo, Eugenio, 1951- (Author)
• Other Authors: Davis, Martin, 1928- (Author of introduction, etc.)
• Format: eBook
• Language: English
• Published: London ; Dordrecht : Springer c2011
• Subjects: 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
• ISBN: 9780857298089
• DOI: 10.1007/978-0-85729-808-9
• Physical Description: xvii, 416 s. : il.