Rudiments of Calculus (Volume 146) (Studies in Logic and the Foundations of Mathematics, Volume 146) - Image 1

£64.99

North Holland Rudiments of Calculus (Volume 146) (Studies in Logic and the Foundations of Mathematics, Volume 146)

Name: Rudiments of Calculus (Volume 146) (Studies in Logic and the Foundations of Mathematics, Volume 146)
Brand: North Holland
Price: 64.99 GBP
Availability: InStock

Computer Science

It has never been this cheap. We have no record of a lower price.

£65 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

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

Historical

Generating forecast...

Price Distribution

Price distribution over 26 days • 1 price levels

Days at Price

Price Analysis

Most common price: £65 (26 days, 100.0%)

Price range: £65 - £65

Price levels: 1 different prices over 26 days

Description

This book presents what in our opinion constitutes the basis of the theory of the mu-calculus, considered as an algebraic system rather than a logic. We have wished to present the subject in a unified way, and in a form as general as possible. Therefore, our emphasis is on the generality of the fixed-point notation, and on the connections between mu-calculus, games, and automata, which we also explain in an algebraic way. This book should be accessible for graduate or advanced undergraduate students both in mathematics and computer science. We have designed this book especially for researchers and students interested in logic in computer science, comuter aided verification, and general aspects of automata theory. We have aimed at gathering in a single place the fundamental results of the theory, that are currently very scattered in the literature, and often hardly accessible for interested readers. The presentation is self-contained, except for the proof of the Mc-Naughton's Determinization Theorem (see, e.g., [97]. However, we suppose that the reader is already familiar with some basic automata theory and universal algebra. The references, credits, and suggestions for further reading are given at the end of each chapter.

Product Specifications

Brand: North Holland
Format: hardcover
ASIN: 0444506209
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 11 February 2001
Listed Since: 05 February 2007

Barcode

No barcode data available

North Holland Rudiments of Calculus (Volume 146) (Studies in Logic and the Foundations of Mathematics, Volume 146)

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Automata, Logics, and Infinite Games: A Guide to Current Research: 2500 (Lecture Notes in Computer Science, 2500)

Mathematical Foundations of Computer Science

Automata and Computability: A Programmer's Perspective

Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science)

Automata and Computability

Automata and Computability (Undergraduate Texts in Computer Science)

From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology: 335 (Studies in Computational Intelligence, 335)

Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions

Automata, Universality, Computation: Tribute to Maurice Margenstern: 12 (Emergence, Complexity and Computation, 12)

Computation Engineering: Applied Automata Theory and Logic

Automata and Languages (Oxford Science Publications)

Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove (Texts in Computer Science)

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

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)

Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II: 5556 (Lecture Notes in Computer Science, 5556)

Developments in Language Theory: 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings: 12811 (Lecture Notes in Computer Science, 12811)

Automata Theory: An Algorithmic Approach

The Unknown Component Problem: Theory and Applications

Theory of Computation: Automata, Formal Languages, Computation and Complexity

Automata Theory with Modern Applications

Groups, Modules, and Model Theory - Surveys and Recent Developments: In Memory of Rüdiger Göbel

Automata Theory with Modern Applications

Logic and Automata: History and Perspectives: 2 (Texts in Logic and Games)

Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998: 1450 (Lecture Notes in Computer Science, 1450)