Free Computability Theory and Logic Books & Tutorials. Read online or download these free Computability Theory and Logic eBooks, lecture notes & tutorials.
Books Categories
- All Free Programming Books
- Computer Languages
- ADA
- Arduino
- Assembly and Machine Languages
- Basic & Visual Basic
- C
- C++ / Visual C++
- C#
- COBOL
- Computational Linguistics
- Dart
- Delphi
- Eiffel
- Erlang
- Forth
- Fortran
- Go
- Haskell
- HDL
- HTML / HTML5 / CSS
- Java
- JavaScript
- Kotlin
- LISP
- MATLAB
- ML/Standard ML (SML)
- NLP
- New and Miscellaneous
- Node.js
- Objective-C
- OCaml
- PASCAL
- Perl
- PHP
- PostScript
- Prolog
- Python
- R Programming
- Raku
- Regular Expressions
- Ruby
- Scala
- Rust
- Scheme
- Unix/Linux Shell Scripts
- Smalltalk
- SQL
- Swift
- Tcl/Tk
- TeX
- Programming Theory
- XML
- UML
- Computer Science
- Algorithms and Data Structures
- Artificial Intelligence and Logic Programming
- Arduino
- Assembly and Machine Languages
- Big Data
- Bioinformatics and Computational Biology
- Blockchain, Bitcoin, and Cryptocurrency
- Category Theory
- Compiler / Interpreter Design and Construction
- Computability Theory and Logic
- Computational and Algorithmic Mathematics
- Computational Complexity
- Computational Linguistics and NLP
- Computational Simulations and Modeling
- Computer and Information Security
- Computer and Programming Languages
- Computer and Video Game Programming
- Computer Architecture, System, and Organization
- Computer, Digital, and Mathematical Music
- Computer and Digital Forensics
- Computer Graphics and Digital Images
- Computer Hardware, Personal Computers (PC)
- Computer Networks
- Computer Programming
- Computer Vision and Machine Vision
- Cryptography, Cryptology, and Cryptanalysis
- Data Analysis and Data Mining
- Data Science
- Database Theory and Systems
- Deep Learning and Neural Networks
- Digital Signal, Sound, and Imaging Processing
- Discrete and Finite Mathematics
- Electronics/Chips Design
- Functional Programming
- Geographic Information Science/System (GIS)
- Graph Theory
- History of Computing and Computers
- Human-Computer Interaction and Virtual Reality
- Information Retrieval (IR) & Search Engines
- Information Technology Research Library
- Information Theory and Systems
- Introduction to Computer Science
- Machine Learning
- Mathematical and Computational Software, MATLAB
- Mobile Computing and Programming
- Numerical Analysis and Scientific Computing
- Object-Oriented Analysis, Design, and Programming
- Operating Systems (OS) Design and Construction
- Optimization Problems
- Parallel and Distributed Computing and Programming
- Quantum Computing
- Raspberry Pi
- Reverse Engineering
- Software and Web Development Research Library
- Software Design and Patterns
- Robotics and Robot Programming
- Software Engineering
- TeX, LaTeX, and AMS-LateX Typesetting
- Theory of Computation and Computing
- Theory of Programming Languages
- Data Science & Databases
- Bayesian Thinking
- Big Data
- Bioinformatic Data Analysis
- Data Analysis and Data Mining
- Data Infrastructure Research Library
- Data Science
- Data Storage, Data Warehouse
- Data Tools Research Library
- Database Theory and Systems
- DB2
- Deep Learning
- Geographic and Spatial Data Analysis
- Information Retrieval (IR) & Search Engines
- Machine Learning
- Microsoft SQL Server
- MySQL
- NoSQL Databases
- ORACLE
- PostgreSQL
- Probability Theory and Stochastic Processes
- Python Programming
- R for Data Analysis
- Social Media Mining
- SQL – The Structured Query Language
- Statistics, Mathematical Statistics, and SAS
- Sybase SQL Server
- Electrical & Comp Engineering
- Arduino
- Assembly and Machine Languages
- Coding Theory
- Computational Simulations and Modeling
- Computer and Machine Vision
- Computer Architecture and Structures
- Computer Graphics
- Computer Hardware – History
- Computer Hardware – Personal Computers (PC)
- Computer, Digital, and Electronic Music
- Control and Systems
- Data Communication and Networks
- Digital Signal, Sound, and Imaging Processing
- Electronics Circuit Design and Programming
- Embedded, Internet of things (IoT), and Real-time Systems
- Electronic Engineering
- HDL (VHDL, Verilog, FPGA, etc.)
- Machine Learning
- Mathematical and Computational Software
- MATLAB
- Microcontrollers, PLC, VLSI, etc.
- Mobile Computing and Programming
- Neural Networks
- Numerical Analysis and Computation
- Reverse Engineering
- Robotics and Robot Programming
- Radio and RFID (Radio Frequency Identification)
- Raspberry Pi
- Steganography, Steganalysis, and Forensics
- Theory of Information Systems
- Wireless and Mobile Communications
- Java and Java EE (J2EE) Books
- Advanced Java
- Android Development and Programming
- Basic Java Programming
- Introduction to Java Programming
- Java EE (J2EE) and EJB (Enterprise JavaBean)
- Java Build, Testing, and Deployment
- Java Certification Study Guides
- Java Design Patterns
- Java Distributed Computing and Networking
- Java Enterprise Applications
- Java GUI Design and Programming (Swing,2D/3D)
- Java ME (Java Micro Edition)
- Java Microservices and SOA
- Java Object-Oriented (OOA/OOD/OOP)
- Java Research Library
- Java Security
- Java Web Frameworks
- Java Web Programming
- Java Web Style, Design, and Accessibility
- Scala Programming
- Software Engineering Principles and Practices
- Software/Web Development Research Library
- Source and Version Control. Revision control
- Linux, Unix, BSD, Mac OS
- BSD and FreeBSD
- C Programming
- Computer System, Organization, and Architecture
- GUI and X Windows
- Information Security
- IT Certificates Preparation and Study Guides
- Mac OS X and Programming
- Operating Systems (OS) Design and Construction
- Regular Expression
- Samba Networking Protocol
- TCP/IP Networking
- The Linux Operating System
- The UNIX Operating System
- Unix/Linux Assembly and Machine Languages
- Unix/Linux Programming
- Unix/Linux Shell Scripting
- Unix/Linux System Administration
- Unix/Linux Networking
- Unix/Linux Security
- Unix/Linux Text Editing
- Mathematics
- Free Mathematics Book Sites
- Algebra, Abstract Algebra, and Linear Algebra
- Applied Mathematics
- Bayesian Thinking
- Calculus and Mathematical Analysis
- Category Theory
- Combinatorics
- Computational and Algorithmic Mathematics. Symbolic Computation
- Computational Simulations and Modeling
- Control Theory and Systems
- Cryptography and Coding Theory
- Differential Equations and Dynamical Systems
- Discrete and Finite Mathematics
- Elementry and High School Mathematics
- Financial Mathematics and Engineering
- Fourier and Wavelet Transforms
- Game Theory
- Geometry and Topology
- Graph Theory
- History of Mathematics
- Mathematical and Computational Software
- Mathematical Logic – Set Theory
- Mathematical Music
- Mathematical Simulations and Modeling
- Mathematics Education
- MATLAB
- Number Theory
- Numerical Analysis and Computation
- Operations Research and Optimization
- Physics and Mathematical Physics
- Popular, Recreational, and Miscellaneous Mathematics
- Probability Theory and Stochastic Processes
- Statistics, Mathematical Statistics, and SAS
- TeX, LaTeX, and AMS-LateX Typesetting
- Microsoft Windows & .NET
- Agile, Scrum, & Extreme Programming (XP)
- Cloud Computing and Virtualization
- C# Programming
- Excel® Programming
- Free and Open Source Software (FOSS)
- Microservices and SOA
- Microsoft .NET Programming
- Microsoft Certified Professional Certificates
- Microsoft Office and Sharepoint®
- Microsoft Servers and Applications
- Microsoft SQL Server and Access®
- Microsoft Windows Programming
- Object-Oriented Analysis, Design, and Programming
- Samba Networking Protocol
- Software Engineering Principles and Practices
- Source and Version Control. Revision control
- Windows Phone Development and Programming
- Visual Basic Programming
- Visual C++ Programming
- Web Programming
- Networking & Communication
- Computer Networks and Communications
- Graph Theory and Networking
- Internet and Intranet Security
- Java Distributed Computing and Networking
- LDAP (Lightweight Directory Access Protocol)
- Miscellaneous (Networking)
- Mobile Computing and Programming
- Network Security and Management
- Network and Distributed Programming
- Networking & Communications Research Library
- Parallel and Distributed Computing
- Radio and Radio Frequency Identification (RFID)
- Samba Networking Protocol
- Steganography, Steganalysis, and Forensics
- TCP/IP Networking
- Telecommunications, VoIP, and Telephony
- Unix/Linux Networking
- Wireless and Mobile Communications
- Software Engineering
- Agile, Scrum, and Extreme Programming (XP)
- Cloud Computing and Serverless
- Computer and Video Game Programming
- Free and Open Source Software (FOSS)
- Information Security
- IT Certificates Study Guides
- IT Careers and Job Interviews
- Java Build, Testing, and Deployment
- Java Web Frameworks (MVC, Struts, JSF, etc.)
- JavaScript Frameworks
- Object-Oriented (OOA/OOD/OOP)
- Mainframe Computing
- Microservices and SOA
- Node.js
- Reverse Engineering
- Software Containers & Virtualization
- Software Design and Patterns
- Software Development Research Library
- Software Engineering Principles and Practices
- Software Project Management
- Source and Version Control. Revision control
- UML (Unified Modeling Language)
- Visualization and GUI (Graphic User Interface) Programming
- Web API and Web Services
- Web Application Frameworks
- Special Topics
- Aeronautics, Aerospace, Aviation, etc.
- Arduino
- Art, Music, and Related Books
- Blockchain, Bitcoin, Cryptocurrency
- Bookshelves (O’Reilly)
- Careers and Job Interviews
- Chemistry and Chemical Engineering
- Cloud Computing and Virtualization
- Communications and Information Theory
- Computer and Information Security
- Computer, Digital, and Mathematical Music
- Cryptography, Cryptology, and Cryptanalysis
- Digital Preservation and Archiving
- Digital and Information Age
- Digital and Computer Forensics
- Embedded and Realtime Systems
- Financial Technologies (FinTech)
- Flutter Programming
- Free and Open Source Software (FOSS)
- Free Books by O’Reilly®
- Game Design and Programming
- General and Popular Science
- GIS, Spatial Analysis, and Web Mapping
- Hacking and Hackers
- Healthcare IT and Bioinformatics
- History of Computing and Computers
- Human-Computer Interaction
- Information Retrieval (IR)
- Internet and Web Society
- IT Certificates Preparation and Study Guides
- Software Management and Project Management
- Mainframe Computing
- MATLAB
- Microsoft Office (Word, Excel®, etc.)
- Personal Computers (PC)
- Physics
- Popular and Recreational Mathematics
- Pro Certificates Study Guides
- Quantum Computing
- Raspberry Pi
- Regular Expression
- Reverse Engineering
- Samba Networking Protocol
- Search Engine Optimization (SEO), eMarketing, and Internet Sales
- Social Media and Social Networks
- Source Version Control and Revision
- Steganography, Steganalysis, and Forensics
- TeX, LaTeX, and AMS-LateX Typesetting
- Mobile Computing
- Android Development and Programming
- Computer Graphics and GUI Programming
- Computer/Wireless Game Programming
- Embedded Systems and IoT Programming
- Flutter Programming
- iOS (iPhone, iPad, WatchKit, etc.) Programming
- JavaScript Programming
- Kotlin Programming
- Location-Based Service (LBS), GIS, Web Mapping
- Mac OS X and Programming
- Mobile – Wireless Communications Research Library
- Mobile Device Design and Programming
- Mobile Web (HTML, HTML5, and CSS)
- NoSQL Databases
- Objective-C Programming
- Radio and Radio Frequency Identification (RFID)
- React Native Programming
- RESTful Web Services
- Swift Programming
- Windows Phone Programming
- Wireless Communications and Mobile Computing
- Web Design & Programming
- Ajax and Web 2.0
- Angular.js
- Cascading Style Sheets (CSS)
- CGI and Perl Programming
- Cold Fusion
- Graphic Design and Programming, User Interfaces
- Guide to Internet and Web
- HTML5, HTML, XHTML, and DHTML
- Java Web Frameworks (MVC, Struts, JSF, etc.)
- Java Web Programming (Servlet and JSP)
- JavaScript Programming
- JavaScript Frameworks
- Microsoft .NET and C#
- Node.js
- PHP Programming
- Python Programming
- React.js
- Ruby on Rails
- Semantic Web and Web 3.0
- Web API and Web Services
- Web Application Frameworks
- Web Programming
- Web Style, Design, and Accessibility
- Uncategorized / Miscellaneous