Grundlagen 05

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

Klaus Weihrauch

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

J. E. Fenstad

Grundlagen Des Maschinellen Beweisens: Eine Einfuhrung Fur Informatiker Und Mathematiker

Dieter Hofbauer

Rekursionstheorie

A. OBERSCHELP

Recent Developments in Quantum Logic

Peter Mittelstaedt

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

Hans U, Bender

Residuated Lattices: An Algebraic Glimpse at Substructural Logics (Volume 151) (Studies in Logic and the Foundations of Mathematics (Volume 151), Band 151)

Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono

Boolean algebras

Roman Sikorski

Enumerability, decidability, computability

Hans Hermes

Beweiskräftige elektronische Archivierung - Bieten elektronische Signaturen Rechtssicherheit?: Ergebnisse des Forschungsprojekts "ArchiSig - ... Dokumente" (Gesundheitswesen in der Praxis)