Finitely axiomatizable theories /

Bibliographic Details

Main Author:	Pereti͡atʹkin, M. G.
Format:	Book
Language:	English
Published:	New York : Consultants Bureau, [1997]
Series:	Sibirskai͡a shkola algebry i logiki.
Subjects:	Axiomatic recursion theory.