西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

A course in mathematical logic / by J. L. Bell and M. Machover.

出版发行项:

Amsterdam : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada American Elsevier Pub. Co., 1977.

ISBN:

0720428440

载体形态项:

xviii, 599 p. ; 23 cm.

个人责任者:

Bell, J. L. (John Lane)

附加个人名称:

Mahover, Mosheh,

论题主题:

Logic, Symbolic and mathematical.

中图法分类号:

O141

一般附注:

Includes indexes.

书目附注:

Bibliography: p. [576]-583.

豆瓣简介：