Logika vyskazyvaniĭ i teorii︠a︡ vyvoda

Moskva: Izd-vo Akademii nauk SSSR (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Call number

BC135.Z57

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Matematicheskai︠a︡ teorii︠a︡ logicheskogo vyvoda.A. V. Idelʹson - 1967 - Moskva,: Nauka; Glav. red. Fiziko-matematicheskoĭ litry. Edited by G. E. Mint︠s︡.
Matematicheskai︠a︡ logika i teorii︠a︡ algoritmov.S. L. Sobolev (ed.) - 1982 - Novosibirsk: Izd-vo "Nauka," Sibirskoe otd-nie.
Nepreryvnai︠a︡ logika: teorii︠a︡ i primenenii︠a︡.Leonid Ivanovich Volgin - 1990 - Tallinn: Akademii︠a︡ nauk Ėstonii. Edited by V. I. Levin.
Teorii︠a︡ algorifmov i matematicheskai︠a︡ logika.B. A. Kushner, N. M. Nagornyĭ & A. A. Markov (eds.) - 1974 - Moskva: Vychislitelʹnyĭ t︠s︡entr AN SSSR.
Izbrannye trudy.A. I. Malʹt︠s︡ev - 1976 - Moskva: Nauka.
Review: A. A. Zinov'ev, (Logika vyskazyvanij i teoria vyvoda): Propositional Logic and Theory of Deduction. [REVIEW]David Dinsmore Comey & Kazuo Matsuomoto - 1965 - Journal of Symbolic Logic 30 (3):373-374.
A. V. Idél′son and G. E. Minc. Prédislovie rédaktorov . Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 5–8. - Gerhard Gentzen. Isslédovaniá logičéskih vyvodov. Russian translation of 4422 by A. V. Idél′son, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 9–74. - A. V. Idél′son. Dobavlénié pérévodčika . Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 75–76. - Gerhard Gentzen. Néprotivoréčivost′ čistoj téorii čisél. Russian translation of I 75 by G. E. Minc, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika. [REVIEW]J. van Heijenoort - 1970 - Journal of Symbolic Logic 35 (2):323-323.
Zinov'év A. A.. Logika vyskazyvanij i téoriá vyvoda . Izdatél'stvo Akadémii Nauk SSSR, Moscow 1962, 152 pp. [REVIEW]David Dinsmore Comey - 1965 - Journal of Symbolic Logic 30 (3):373.
Review: Vladimir Devidé, Matematička logika. Prvi dio (Klasična logika sudova). (Mathematical Logic. Part I (The Classical Logic of Propositions).). [REVIEW]Ivan Boh - 1970 - Journal of Symbolic Logic 35 (2):326-329.
Metody i algoritmy induktivnogo vyvoda.N. N. Li︠a︡shenko - 1989 - Leningrad: Akademii︠a︡ nauk SSSR, Leningradskiĭ in-t informatiki i avtomatizat︠s︡ii. Edited by Valentin Mikhaĭlovich Ponomarev.
Logika i osnovanii︠a︡ matematiki: tezisy VIII Vsesoi︠u︡znoĭ konferent︠s︡ii "Logika i metodologii︠a︡ nauki," g. Palanga, 26-28 senti︠a︡bri︠a︡ 1982 g.Bonifatiĭ Mikhaĭlovich Kedrov (ed.) - 1982 - Vilʹni︠u︡s: Vilʹni︠u︡sskiĭ gos. universitet im. V. Kapsukasa.
Teorii︠a︡ logicheskogo vyvoda.V. A. Smirnov - 1999 - Moskva: ROSSPĖN.
Teorii︠a︡ logicheskogo vyvoda.P. V. Tavanet︠s︡ & [From Old Catalog] (eds.) - 1973
Formalʹnai︠a︡ logika.I. I︠A︡ Chupakhin & I. N. Brodskiĭ (eds.) - 1977 - Leningrad: Izd-vo Leningradskogo universiteta.
Neklassicheskai︠a︡ logika: [sbornik stateĭ.P. V. Tavanet︠s︡ (ed.) - 1970 - Moskva: Nauka.

Analytics

Added to PP
2023-07-08

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references