|
|
Peter Aczel (1977): An Introduction to Inductive Definitions
| Title: |
An Introduction to Inductive Definitions |
| Author(s): |
Peter Aczel |
| Year: |
1977 |
| Booktitle: |
Handbook of Mathematical Logic |
| Editor(s): |
Jon Barwise |
| Chapter: |
C.7 |
| Pages: |
739-782 |
| Publisher: |
North--Holland |
| Address: |
Amsterdam |
Concepts
|
|
