Rudiments of μ-calculus
- 種類:
- 図書
- 責任表示:
- A. Arnold, D. Niwiński
- 出版情報:
- Amsterdam ; Tokyo : North-Holland, 2001
- 著者名:
- シリーズ名:
- Studies in logic and the foundations of mathematics ; v. 146 <BA00099329>
- ISBN:
- 9780444506207 [0444506209]
- 注記:
- Includes bibliographical references (p. [269]-273) and index
類似資料:
KLUWER ADADEMIC PUB. | |
DEKKER |
MACGRAW-HILL |
MARCEL DEKKER | |
Van Nostrand |
白水社 |
D. Van Nostrand |
白水社 |
SPRINGER |
Gauthier-Villars |