×

zbMATH — the first resource for mathematics

Provable and unprovable. (Dokazuemoe i nedokazuemoe.). (Russian) Zbl 0403.03002
Moskva: Izdatel’stvo ”Sovetskoe Radio”. 168 p. R. 0.60 (1979).

MSC:
03A05 Philosophical and critical aspects of logic and foundations
03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03F99 Proof theory and constructive mathematics
03E50 Continuum hypothesis and Martin’s axiom
03F30 First-order arithmetic and fragments
00A30 Philosophy of mathematics
81P10 Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)
03G12 Quantum logic
03B10 Classical first-order logic