Document Zbl 0478.03002

[Adyan, S. I.]

Foundations of mathematics. Logical calculi and the formalization of arithmetic. (Osnovaniya matematiki. Logicheskie ischisleniya i formalizatsiya arifmetiki). Transl. from the German by N. M. Nagornyj. Russian translation ed. and with a preface by S. I. Adyan. (Russian) Zbl 0478.03002

Matematicheskaya Logika i Osnovaniya Matematiki. Moskva: “Nauka”. 558 p. R. 2.70 (1979).

Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0478.03002

03-02	Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03Fxx	Proof theory and constructive mathematics
03F30	First-order arithmetic and fragments
03F50	Metamathematics of constructive systems
03F99	Proof theory and constructive mathematics

PDF BibTeX XML

any	anywhere
an	internal document identifier
au	author, editor
ai	internal author identifier
ti	title
la	language
so	source
ab	review, abstract
py	publication year
rv	reviewer
cc	MSC code
ut	uncontrolled term
dt	document type (j: journal article; b: book; a: book article)