Elementary induction on abstract structures /

Provability, Computability and Reflection.

Bibliographic Details

Main Author:	Moschovakis, Yiannis N.
Corporate Author:	ScienceDirect (Online service)
Format:	eBook
Language:	English
Language Notes:	English.
Published:	Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1974.
Series:	Studies in logic and the foundations of mathematics ; v. 77.
Subjects:	Recursive functions. Induction (Mathematics) Induction (Mathématiques) Fonctions récursives. MATHEMATICS > General. Recursive functions Electronic books.
Online Access:	Connect to the full text of this electronic book