Grundlagen

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

Hans U, Bender

99 Points of Intersection: Examples-Pictures-Proofs (Spectrum)

Hans Walser, Jean Pedersen

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

Über den Satz des Widerspruch bei Aristoteles

Jan Lukasiewicz

Boolean algebras

Roman Sikorski

Beweistheorie

Kurt Schütte

Enumerability, decidability, computability

Hans Hermes

Beweis und Reflexion: Philosophische Untersuchungen über die Grundlagen beweistheoretischer Praxen

Matthias Wille

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

Quantum Logic and Hidden Variables

Grundlagen