Computational logic and set theory applying formalized logic to analysis

Saved in:
Bibliographic Details
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
LanguageEnglish
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
Online AccessFull text
ISBN9780857298089
DOI10.1007/978-0-85729-808-9
Physical Descriptionxvii, 416 s. : il.

Cover

More Information
Item Description:Název z titulní obrazovky
Format:Způsob přístupu: World Wide Web
Bibliography:Obsahuje bibliografie a rejstřík
ISBN:9780857298089
Access:Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty univerzity
DOI:10.1007/978-0-85729-808-9
Physical Description:xvii, 416 s. : il.

Similar Items