Peter Aczel. Quantifiers, games and inductive definitions. Proceedings of the Third Scandinavian Logic Symposium

Name: Peter Aczel. Quantifiers, games and inductive definitions. Proceedings of the Third Scandinavian Logic Symposium
Author: Peter Aczel

by Peter Aczel · 1 review · 1978

Reviewed by	Journal	Date	Access
S. K. Thomason	The Journal of Symbolic Logic	1978	Restricted

Also by Aczel