- 2 402 202 книги
- Поиск
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Computer Science & Applied Mathematics)
Автор: Peter B. Andrews
Размер книги: 9.82 Mb
Mathematical Logic for Computer Science
Автор: Mordechai Ben-AriКатегория: Математика, Математическая логика
Размер книги: 1.85 Mb
Handbook of logic in computer science
Автор: S. Abramsky, Автор: Dov. M. Gabbay, Автор: T. S. E. MaibaumКатегория: Mathematical logic
Размер книги: 2.64 Mb
Mathematical logic for computer science
Автор: Mordechai Ben-AriКатегория: Mathematical logic
Размер книги: 2.40 Mb
Fork Algebras in Algebra, Logic and Computer Science
Автор: Marcelo Fabian FriasКатегория: Mathematical logic
Размер книги: 1.01 Mb
Logic in Computer Science
Автор: M. Huth, Автор: M. RyanКатегория: Computer Science, Discrete Mathematics
Размер книги: 2.13 Mb
Mathematical Logic for Computer Science
Автор: Mordechai Ben-AriКатегория: Electronical-Computer-Mechanical
Размер книги: 21.94 Mb
Prolog experiments in discrete mathematics, logic, and computability
Автор: Hein J.L.Категория: Cs_Computer science, CsAl_Algorithms
Размер книги: 695 Kb
Mathematical Logic: Foundations for Information Science (Progress in Computer Science and Applied Logic (PCS))
Автор: Wei Li
Размер книги: 1.73 Mb
Linear Logic in Computer Science (London Mathematical Society Lecture Note Series)
Автор: Thomas Ehrhard, Автор: Jean-Yves Girard, Автор: Paul Ruet, Автор: Philip Scott
Размер книги: 3.84 Mb
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
Luck, Logic and White Lies. Mathematics of Games
Автор: Jörg BewersdorffКатегория: Computer Science, Discrete Mathematics
Размер книги: 30.22 Mb
Computational Logic. Logic Programming and Beyond I
Автор: A.C. Kakas, Автор: F. SadriКатегория: Computer Science, Discrete Mathematics
Размер книги: 6.77 Mb
Computational Logic. Logic Programming and Beyond II
Автор: Antonis C. Kakas, Автор: Fariba SadriКатегория: Computer Science, Discrete Mathematics
Размер книги: 5.50 Mb
A Concise Introduction to Logic
Автор: Patrick J. HurleyКатегория: Computer Science, Discrete Mathematics
Размер книги: 3.29 Mb
Mathematics and Logic
Автор: Mark Kac, Автор: Stanislaw M. UlamКатегория: Computer Science, Discrete Mathematics
Размер книги: 6.83 Mb
Being Logical. A Guide To Good Thinking
Автор: D.Q. McInernyКатегория: Computer Science, Discrete Mathematics
Размер книги: 2.38 Mb
Logic For Dummies
Автор: Mark ZegarelliКатегория: Computer Science, Discrete Mathematics
Размер книги: 5.09 Mb
The Logic Book
Автор: BergmannКатегория: Computer Science, Discrete Mathematics
Размер книги: 225.97 Mb
Logic Made Easy
Автор: Deborah J. BennettКатегория: Computer Science, Discrete Mathematics
Размер книги: 3.84 Mb
Logic and Integer Programming
Автор: H. Paul WilliamsКатегория: Computer Science, Discrete Mathematics
Размер книги: 2.67 Mb
Logic and Structure
Автор: Dirk van Dalen, Автор: Dirk van DalenКатегория: Computer Science, Discrete Mathematics
Размер книги: 2.35 Mb
Logic in Games
Автор: Johan Van Benthem, Автор: 2014Категория: Computer Science, Mathematics
Размер книги: 3.81 Mb
Computability: computable functions, logic, foundations of mathematics
Автор: Richard L. Epstein, Автор: Walter A CarnielliКатегория: Cs_Computer science, CsNp_Computability
Размер книги: 2.64 Mb
Языки и автоматы. Сборник переводов
Автор: Под редакцией А.Н.Маслова и Э.Д.СтоцкогоКатегория: Mathematics, Mathematical logic; Computer science
Размер книги: 6.17 Mb
Alan Turing: His Work and Impact
Автор: S. Barry Cooper, Автор: Jan van Leeuwen
Размер книги: 11.68 Mb