Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases

DOI10.1111/j.1744-6163.2008.00189.xzbMath0947.03076OpenAlexW1986761274WikidataQ46338981 ScholiaQ46338981MaRDI QIDQ4490140

Vítězslav Švejdar

Publication date: 23 July 2000

Published in: Perspectives in Psychiatric Care (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1744-6163.2008.00189.x

zbMATH Keywords

surveyprovability logicdecision procedureGentzen calculusformal provabilityapplications of metamathematics

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (5)

The Henkin Sentence ⋮ Lewis meets Brouwer: constructive strict implication ⋮ Transductions in arithmetic ⋮ The decision problem of provability logic with only one atom ⋮ The arithmetics of a theory

This page was built for publication: Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases