£175.64

CRC Press - Mathematical Logic and Theoretical Computer Science

Name: CRC Press - Mathematical Logic and Theoretical Computer Science
Brand: CRC Press
Price: 167.15 GBP
Availability: InStock

Computing & Internet

Price History & Forecast

Last 38 days • 38 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 38 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £167 (28 days, 73.7%)

Price range: £167 - £176

Price levels: 2 different prices over 38 days

Description

Expand your technical knowledge with Mathematical Logic and Theoretical Computer Science, part of the Lecture Notes in Pure and Applied Mathematics series. This comprehensive volume provides an up-to-date review of essential topics within the field, making it a valuable resource for researchers and students alike. Written by leading international authorities, this book covers a wide range of complex subjects. Readers can explore recursion theory, denotational semantics, and recursion theoretic aspects of computer science. The text also addresses model theory and algebra, Automath and automated reasoning, stability theory, and the relationship between topoi and both mathematics and logic. Whether you are a mathematical logician or a computer scientist, this collection offers deep insights into the intersection of logic and computation. It serves as a high-level academic reference for those studying Zariski topoi and other advanced theoretical frameworks. This book is a necessary addition to any professional library focused on the mathematical foundations of computer science.

Key Features

Comprehensive coverage of diverse topics ranging from recursion theory to Zariski topoi.

Written by leading international authorities to ensure high-quality academic content.

Explores advanced areas including denotational semantics and model theory and algebra.

Provides detailed insights into Automath, automated reasoning, and stability theory.

Examines the connection between topoi and both mathematics and logic.

Serves as an up-to-date review for mathematical logicians and computer scientists.

Product Specifications

Brand: CRC Press
Format: Hardcover
ASIN: 1138466891
Category: Books > Subjects > Computing & Internet
Domain: Amazon UK
Release Date: 30 November 2017
Listed Since: 26 July 2017

Barcode

No barcode data available

CRC Press - Mathematical Logic and Theoretical Computer Science

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Mathematical Logic and Theoretical Computer Science: 106 (Lecture Notes in Pure and Applied Mathematics)

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Concise Introduction to Logic and Set Theory (Mathematics and its Applications)

Fundamentals of Mathematical Logic

Complexity, Logic, and Recursion Theory: 187 (Lecture Notes in Pure and Applied Mathematics)

Logic for Applications (Texts in Computer Science)

Recursion Theory: Lecture Notes in Logic 1

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Mathematical Logic

Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Invariant Descriptive Set Theory (Pure and Applied Mathematics)

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

Mathematical Logic for Computer Science

Springer Well-Quasi Orders in Computation, Logic and Reasoning

Invariant Descriptive Set Theory (Pure and Applied Mathematics)

Theory of Computation (Texts in Computer Science)

Mathematical Logic and Computation

Computability Theory and Its Applications: Current Trends and Open Problems (Contemporary Mathematics)

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)