Wellfoundedness proofs by means of non-monotonic inductive...

Annals of Pure and Applied Logic 2010 Vol. 162; Iss. 2

Wellfoundedness proofs by means of non-monotonic inductive definitions II: First order operators

Toshiyasu Arai
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
162
Year:
2010
Language:
english
Pages:
37
DOI:
10.1016/j.apal.2010.08.002
File:
PDF, 583 KB
english, 2010
Conversion to is in progress
Conversion to is failed