HANDBOOK OF RECURSIVE MATHEMATICS Volume 1 : Recursive Model Theory / Edited by Yu. L. ERSHOV, A. NERODE, S.S. GONCHAROV, J.B. REMMEL ; Associate Editor : V.W. MAREK

Contributor(s):

Material type: Text

TextLanguage: BI Series: STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMAPublication details: ELSEVIER AMSTERDAM 1998Description: 2 volumes ; 23 cm; 620 p; 23 cmISBN:

Other title:

Subject(s):

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode
Book	PERPUSTAKAAN KKBDA KOLEKSI PINJAMAN	WP	511.35 HAN (Browse shelf(Opens below))	Available		00002145

Previous								Next
Previous	510.92 FAY Al- Khawarizmi	511.3 GIV Introduction to Boolean Algebras /	511.35 HAN HANDBOOK OF RECURSIVE MATHEMATICS Recursive Algebra, Analysis and Combinatorics / Edited by Yu. L. ERSHOV, A. NERODE, S.S. GONCHAROV, J.B. REMMEL ; Associate Editor : V.W. MAREK Volume 2 :	511.35 HAN HANDBOOK OF RECURSIVE MATHEMATICS Recursive Model Theory / Volume 1 :	511.8 COM Computational Mathematics, Modelling and Algorithms /	512 WAR An Intermediate Course in Algebra : An Interactive Approach /	512.9 GUS Beginning Algebra /	Next

Includes exercises

Includes bibliographical references

There are no comments on this title.

to post a comment.