Showing
1 - 1
results of
1
Skip to content
Catalog K.UTB
Čeština
Login
TBU Catalog
e-resources
E-THESES
All Fields
Title
Author
Subject
ISBN/ISSN
Find
Advanced Search
Author
Omodeo, Eugenio, 1951-
Showing
1 - 1
results of
1
Refine Results
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Loading…
Computational logic and set theory applying formalized logic to analysis
by
Schwartz, Jacob T., 1930-2009
,
Cantone, Domenico
,
Omodeo, Eugenio, 1951
-
Year of Publication
2011
Call Number
Loading…
Full text
eBook
Save to List
Saved in:
RSS Feed
Email Search
Search History
Related Subjects
computer programs
computer science
formal logic
formální logika
logic programming
logické programování
matematická logika
mathematical logic
počítačová věda
počítačové programy
set theory
software engineering
softwarové inženýrství
teorie množin
