Filter
Søkt på: Søkeresultat
Filter
totalt 7 treff
Einführung in die Verbandstheorie
heftet,
2013,
Tysk,
ISBN 9783642865251
Term Logic with Choice Operator
heftet,
1970,
Engelsk,
ISBN 9783540048992
Selecta Mathematica II
heftet,
1970,
Tysk,
ISBN 9783540048671
Aufzählbarkeit Entscheidbarkeit Berechenbarkeit
heftet,
1978,
Tysk,
ISBN 9783540088691
Introduction to Mathematical Logic
heftet,
1973,
Engelsk,
ISBN 9783540058199
This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic …
Enumerability · Decidability Computability
heftet,
2012,
Engelsk,
ISBN 9783642461804
Once we have accepted a precise replacement of the concept of algo rithm, it becomes possible to attempt the problem whether there exist well-defined collections of problems which …