- 2 402 202 книги
#1
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Computer Science & Applied Mathematics)
Peter B. Andrews
9.82 Mb
#2
Mathematical Logic for Computer Science
Mordechai Ben-AriКатегория: Математика, Математическая логика
1.85 Mb
#4
Handbook of logic in computer science
S. Abramsky, Dov. M. Gabbay, T. S. E. MaibaumКатегория: Mathematical logic
2.64 Mb
#6
Fork Algebras in Algebra, Logic and Computer Science
Marcelo Fabian FriasКатегория: Mathematical logic
1.01 Mb
#7
Logic in Computer Science
M. Huth, M. RyanКатегория: Computer Science, Discrete Mathematics
2.13 Mb
#8
Mathematical Logic for Computer Science
Mordechai Ben-AriКатегория: Electronical-Computer-Mechanical
21.94 Mb
#9
Prolog experiments in discrete mathematics, logic, and computability
Hein J.L.Категория: Cs_Computer science, CsAl_Algorithms
695 Kb
#11
Mathematical Logic: Foundations for Information Science (Progress in Computer Science and Applied Logic (PCS))
Wei Li
1.73 Mb
#12
Linear Logic in Computer Science (London Mathematical Society Lecture Note Series)
Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott
3.84 Mb
#13
Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy. Brno, Czech Republic, August 1996, Proceedings (Lecture Notes in Logic)
Petr Hajek
31.81 Mb
#14
Luck, Logic and White Lies. Mathematics of Games
Jörg BewersdorffКатегория: Computer Science, Discrete Mathematics
30.22 Mb
#15
Computational Logic. Logic Programming and Beyond I
A.C. Kakas, F. SadriКатегория: Computer Science, Discrete Mathematics
6.77 Mb
#16
Computational Logic. Logic Programming and Beyond II
Antonis C. Kakas, Fariba SadriКатегория: Computer Science, Discrete Mathematics
5.50 Mb
#17
A Concise Introduction to Logic
Patrick J. HurleyКатегория: Computer Science, Discrete Mathematics
3.29 Mb
#18
Mathematics and Logic
Mark Kac, Stanislaw M. UlamКатегория: Computer Science, Discrete Mathematics
6.83 Mb
#19
Being Logical. A Guide To Good Thinking
D.Q. McInernyКатегория: Computer Science, Discrete Mathematics
2.38 Mb
#23
Logic and Integer Programming
H. Paul WilliamsКатегория: Computer Science, Discrete Mathematics
2.67 Mb
#24
Logic and Structure
Dirk van Dalen, Dirk van DalenКатегория: Computer Science, Discrete Mathematics
2.35 Mb
#26
Computability: computable functions, logic, foundations of mathematics
Richard L. Epstein, Walter A CarnielliКатегория: Cs_Computer science, CsNp_Computability
2.64 Mb
#28
Языки и автоматы. Сборник переводов
Под редакцией А.Н.Маслова и Э.Д.СтоцкогоКатегория: Mathematics, Mathematical logic; Computer science
6.17 Mb