Rudiments of Calculus - Studies in Logic and the Foundations of Mathematics - A. Arnold - Bøger - Elsevier Science & Technology - 9780444506207 - 7. februar 2001
Ved uoverensstemmelse mellem cover og titel gælder titel

Rudiments of Calculus - Studies in Logic and the Foundations of Mathematics

A. Arnold

Pris
NOK 1.539

Bestilles fra fjernlager

Forventes klar til forsendelse 20. - 27. aug.
Tilføj til din iMusic ønskeseddel
Eller

Rudiments of Calculus - Studies in Logic and the Foundations of Mathematics

Emphasises on the generality of the fixed-point notation, and on the connections between mu-calculus, games, and automata, explained in an algebraic way. This book is aimed at researchers and students interested in logic in computer science, computer aided verification, and general aspects of automata theory.


298 pages

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 7. februar 2001
ISBN13 9780444506207
Forlag Elsevier Science & Technology
Antal sider 298
Mål 171 × 230 × 18 mm   ·   621 g
Klipper/redaktør Arnold, A. (c/o LaBRI Universite Bordeaux I 351, cours de la Liberation, 33405 Talence, France)
Klipper/redaktør Niwinski, D. (Institute of Informatics, University of Warsaw, ul. Banacha 2, 02-097 Warsaw)

Vis alle

Mere med A. Arnold