Rudiments of Calculus: Volume 146 Image close
Rudiments of Calculus: Volume 146 on Hardback
Rudiments of Calculus: Volume 146 on Hardback
Show Hide Adult Content
Rudiments of Calculus: Volume 146 close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Calculus & mathematical analysis  
Calculus

Rudiments of Calculus: Volume 146

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Hardback
$272.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $68.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 7-19 June using International Courier

Explore more Studies in Logic & the Foundations of Mathematics

See all products in this series

Constructivism in Mathematics: Volume 121 by A.S. Troelstra
$144.99
Constructivism in Mathematics: Volume 121
by A.S. Troelstra ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Realizability: Volume 152 on Hardback by Jaap Van Oosten
$456.99
Realizability: Volume 152
by Jaap Van Oosten ~ Hardback
Available - Usually ships in 3-4 weeks
Lectures on the Curry-Howard Isomorphism: Volume 149 on Hardback by Pawel Urzyczyn
$419.99
Lectures on the Curry-Howard Isomorphism: Volume 149
by Pawel Urzyczyn ~ Hardback
Available - Usually ships in 3-4 weeks
Language in Action: Volume 130 on Hardback by J Van Benthem
$338.99
Language in Action: Volume 130
by J Van Benthem ~ Hardback
Available - Usually ships in 3-4 weeks
Tools and Techniques in Modal Logic: Volume 142 on Hardback by M. Kracht
$436.99
Tools and Techniques in Modal Logic: Volume 142
by M. Kracht ~ Hardback
Available - Usually ships in 3-4 weeks
Categorical Logic and Type Theory: Volume 141 by B. Jacobs
$347.99
Categorical Logic and Type Theory: Volume 141
by B. Jacobs ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Residuated Lattices: An Algebraic Glimpse at Substructural Logics: Volume 151 on Hardback by Nikolaos Galatos
$394.99
Residuated Lattices: An Algebraic Glimpse at Substructural Logics:...
by Nikolaos Galatos ~ Hardback
Available - Usually ships in 3-4 weeks
Many-Dimensional Modal Logics: Theory and Applications: Volume 148 on Hardback by A Kurucz
$483.99
Many-Dimensional Modal Logics: Theory and Applications: Volume 148
by A Kurucz ~ Hardback
Available - Usually ships in 3-4 weeks
Logical Frameworks for Truth and Abstraction: Volume 135 on Hardback by A. Cantini
$473.99
Logical Frameworks for Truth and Abstraction: Volume 135
by A. Cantini ~ Hardback
Available - Usually ships in 3-4 weeks
Constructivism in Mathematics, Vol 1: Volume 121 on Hardback by A.S. Troelstra
$618.99
Constructivism in Mathematics, Vol 1: Volume 121
by A.S. Troelstra ~ Hardback
Available - Usually ships in 3-4 weeks
Classical Recursion Theory: Volume 125 by P. Odifreddi
$268.99
Classical Recursion Theory: Volume 125
by P. Odifreddi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Handbook of Computability Theory: Volume 140 on Hardback
$518.99
Handbook of Computability Theory: Volume 140
Hardback
Available - Usually ships in 3-4 weeks
Relation Algebras by Games: Volume 147 on Hardback by R. Hirsch
$427.99
Relation Algebras by Games: Volume 147
by R. Hirsch ~ Hardback
Available - Usually ships in 3-4 weeks
Handbook of Proof Theory: Volume 137 on Hardback
$516.99
Handbook of Proof Theory: Volume 137
Hardback
Available - Usually ships in 3-4 weeks
Computable Structures and the Hyperarithmetical Hierarchy: Volume 144 on Hardback by C.J. Ash
$371.99
Computable Structures and the Hyperarithmetical Hierarchy: Volume 144
by C.J. Ash ~ Hardback
Available - Usually ships in 3-4 weeks
Quantification in Nonclassical Logic: Volume 153 on Hardback by Dimitrij Skvortsov
$587.99
Quantification in Nonclassical Logic: Volume 153
by Dimitrij Skvortsov ~ Hardback
Available - Usually ships in 3-4 weeks

Description

This title presents a basis for the theory of the mu-calculus, considered as an algebraic system, rather than a logic. The subject is presented in a unified way, and in a form as general as possible. Therefore, the emphasis is on the generality of the fixed-point notation, and on the connections between mu-calculus, games, and automata. This book should be accessible for graduate or advanced undergraduate students both in mathematics and computer science. It is designed especially for researchers and students interested in logic in computer science, computer aided verification, and general aspects of automata theory, and aimed at gathering in a single place the fundamental results of the theory, often hardly accessible for interested readers. The presentation is self-contained, except for the proof of the Mc-Naughton's Determinization Theorem. However, it is supposed that the reader is already familiar with some basic automata theory and universal algebra.
Release date Australia
February 7th, 2001
Contributors
  • Edited by A. Arnold
  • Edited by D. Niwinski
Pages
298
Audience
  • Professional & Vocational
Publisher
Elsevier Science & Technology
Country of Publication
United States
Imprint
North-Holland
Dimensions
171x230x18
ISBN-13
9780444506207
Product ID
2768747

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Calculus & mathematical analysis >
Calculus