Mathematical logic

This book covers blockchain from the underlying principles to how it enables applications to survive and surf on its shoulder.

Reissuing works originally published between 1931 and 1990, this set of twenty-four books covers the full range of the philosophy of logic, from introductions to logic, to calculus and mathematical logic, to logic in language and linguistics and logical reasoning in law and ethics.

This book covers blockchain from the underlying principles to how it enables applications to survive and surf on its shoulder.

Distributed and peer-to-peer (P2P) applications are increasing daily, and cyberattacks are constantly adopting new mechanisms to threaten the security and privacy of users in these Internet of Things (IoT) environments.

Distributed and peer-to-peer (P2P) applications are increasing daily, and cyberattacks are constantly adopting new mechanisms to threaten the security and privacy of users in these Internet of Things (IoT) environments.

Blockchain technology is an emerging distributed, decentralized architecture and computing paradigm, which has accelerated the development and application of cloud, fog and edge computing; artificial intelligence; cyber physical systems; social networking; crowdsourcing and crowdsensing; 5g; trust management and finance; and other many useful sectors.

Blockchain technology is an emerging distributed, decentralized architecture and computing paradigm, which has accelerated the development and application of cloud, fog and edge computing; artificial intelligence; cyber physical systems; social networking; crowdsourcing and crowdsensing; 5g; trust management and finance; and other many useful sectors.

The philosophy of mathematics is an exciting subject.

The philosophy of mathematics is an exciting subject.

Logic Works is a critical and extensive introduction to logic.

Logic Works is a critical and extensive introduction to logic.

This book seeks to generalize techniques and experiences in designing and analyzing cryptographic schemes for blockchain.

This book seeks to generalize techniques and experiences in designing and analyzing cryptographic schemes for blockchain.

Physically Unclonable Functions (PUFs) translate unavoidable variations in certain parameters of materials, waves, or devices into random and unique signals.

Physically Unclonable Functions (PUFs) translate unavoidable variations in certain parameters of materials, waves, or devices into random and unique signals.

Proof techniques in cryptography are very difficult to understand, even for students or researchers who major in cryptography.

Proof techniques in cryptography are very difficult to understand, even for students or researchers who major in cryptography.

Blockchain, Internet of Things, and Artificial Intelligence provides an integrated overview and technical description of the fundamental concepts of blockchain, IoT, and AI technologies.

Blockchain, Internet of Things, and Artificial Intelligence provides an integrated overview and technical description of the fundamental concepts of blockchain, IoT, and AI technologies.

Blockchain is a technology that has attracted the attention of all types of businesses.

Blockchain is a technology that has attracted the attention of all types of businesses.

The crypto wars have raged for half a century.

The crypto wars have raged for half a century.

Proofs 101: An Introduction to Formal Mathematics serves as an introduction to proofs for mathematics majors who have completed the calculus sequence (at least Calculus I and II) and a first course in linear algebra.

Proofs 101: An Introduction to Formal Mathematics serves as an introduction to proofs for mathematics majors who have completed the calculus sequence (at least Calculus I and II) and a first course in linear algebra.

Information Security and Optimization maintains a practical perspective while offering theoretical explanations.

Information Security and Optimization maintains a practical perspective while offering theoretical explanations.

There are thousands of books relating to poker, blackjack, roulette and baccarat, including strategy guides, statistical analysis, psychological studies, and much more.

There are thousands of books relating to poker, blackjack, roulette and baccarat, including strategy guides, statistical analysis, psychological studies, and much more.

Blockchain is emerging as a powerful technology, which has attracted the wider attention of all businesses across the globe.

Blockchain is emerging as a powerful technology, which has attracted the wider attention of all businesses across the globe.

This book discusses the evolution of security and privacy issues and brings related technological tools, techniques, and solutions into one single source.

This book discusses the evolution of security and privacy issues and brings related technological tools, techniques, and solutions into one single source.

Enterprise Level Security 2: Advanced Topics in an Uncertain World follows on from the authors' first book on Enterprise Level Security (ELS), which covered the basic concepts of ELS and the discoveries made during the first eight years of its development.

This set comprises of Enterprise Level Security and Enterprise Level Security 2.

Enterprise Level Security 2: Advanced Topics in an Uncertain World follows on from the authors' first book on Enterprise Level Security (ELS), which covered the basic concepts of ELS and the discoveries made during the first eight years of its development.

Present book covers new paradigms in Blockchain, Big Data and Machine Learning concepts including applications and case studies.

Present book covers new paradigms in Blockchain, Big Data and Machine Learning concepts including applications and case studies.

The Equation of Knowledge: From Bayes' Rule to a Unified Philosophy of Science introduces readers to the Bayesian approach to science: teasing out the link between probability and knowledge.

The Equation of Knowledge: From Bayes' Rule to a Unified Philosophy of Science introduces readers to the Bayesian approach to science: teasing out the link between probability and knowledge.

Originally published in 1923 Chance and Error examines the vagaries of chance, and how this is the result of the interference of yes and no.

This book presents the history, philosophy, and mathematics of the major systems of propositional logic.

Now in a new edition!

Implementing the circular economy necessitates innovative approaches capable of managing the complexity and uncertainty inherent in the shift from linear to circular systems.

Maths is a part of everyday life and there's no denying it.

This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof.

This contributed volume overviews recently presented approaches for carrying out QSPR/QSAR analysis by using a simplifying molecular input-line entry system (SMILES) to represent the molecular structure.

This book addresses social and complex network analysis challenges, exploring social network structures, dynamic networks, and hierarchical communities.

This second edition of A Beginner's Guide to Finite Mathematics: For Business, Management, and the Social Sciences takes a distinctly applied approach to finite mathematics at the freshman and sophomore level.

Winner of the 1983 National Book Award!