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

Online Public Access Catalogue

题名/责任者:

Computability, complexity, logic / E. Bèorger.

出版发行项:

Amsterdam : North-Holland, 1989.

ISBN:

0444874062

载体形态项:

xx, 592 p. : ill. ; 23 cm.

统一题名:

Berechenbarkeit, Komplexitèat, Logik. English

丛编题名:

Studies in logic and the foundations of mathematics ; v. 128

个人责任者:

Bèorger, E. (Egon), 1946-

论题主题:

Computational complexity.

论题主题:

Logic, Symbolic and mathematical.

论题主题:

Computable functions.

中图法分类号:

O141.3

一般附注:

Includes index.

一般附注:

Translation of: Berechenbarkeit, Komplexitèat, Logik.

书目附注:

Bibliography: p. 529-573.

豆瓣简介：