Grundlagen

Computability (Monographs in Theoretical Computer Science. An EATCS Series, Band 9)

Klaus Weihrauch

Kinetic Logic (Lecture Notes in Biomathematics, Band 29)

R. Thomas

General Recursion Theory: An Axiomatic Approach (Perspectives in Mathematical Logic)

J. E. Fenstad

Enumerability - Decidability - Computability. An introduction to the theory of recursive functions (Grundlehren der mathematischen Wissenschaften, Band 127)

Hans Hermes

Grundlagen Des Maschinellen Beweisens: Eine Einfuhrung Fur Informatiker Und Mathematiker

Dieter Hofbauer

Elementare Beweistheorie

Lutz Heindorf

Rekursionstheorie

A. OBERSCHELP

Quantum Logic and Hidden Variables

Recent Developments in Quantum Logic

Peter Mittelstaedt

Merkmalskombinationen in Aussagen. Theorie und Empirie zum Beweiswert beim Zusammentreffen von Glaubwürdigkeitskriterien

Hans U, Bender

Grundlagen