Keywords:
Computable functions
;
Computational complexity
;
Logic, Symbolic and mathematical
;
Mathematische Logik
;
Berechenbarkeit
;
Prädikatenlogik
Type of Medium:
Online Resource
Pages:
Online-Ressource
,
xx, 592 p
,
ill
,
23 cm
Edition:
Online-Ausg.] Elsevier e-book collection on ScienceDirect
ISBN:
0444874062
,
9780444874061
Series Statement:
Studies in logic and the foundations of mathematics v. 128
Uniform Title:
Berechenbarkeit, Komplexität, Logik. 〈engl.〉
URL:
http://www.sciencedirect.com/science/book/9780444874061
URL:
https://zbmath.org/?q=an:0669.68002
Language:
English
,
German
Note:
Includes index
,
Translation of: Berechenbarkeit, Komplexität, Logik
Permalink