Issledovanii︠a︡ po matematicheskoĭ logike i teorii algoritmov

(ed.)
Tbilisi: Izd-vo Tbilisskogo universiteta (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1982, 1988, 1990

Call number

QA9.2.T5 vol. 36

Links

PhilArchive



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

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

XI Mezhrespublikanskai︠a︡ konferent︠s︡ii︠a︡ po matematicheskoĭ logike: Kazanʹ, 6-8 okti︠a︡bri︠a︡: tezisy soobshcheniĭ.A. A. Makarova (ed.) - 1992 - Kazanʹ: Kazanskiĭ gos. universitet.
Desi︠a︡tai︠a︡ Vsesoi︠u︡znai︠a︡ konferent︠s︡ii︠a︡ po matematicheskoĭ logike, Alma-Ata, 1-3 noi︠a︡bri︠a︡ 1990 goda: tezisy dokladov.I︠U︡. L. Ershov & A. D. Taĭmanov (eds.) - 1990 - Alma-Ata: "Gylym".
Mučnik A. A.. Nérazréšimost′ problémy svodimosti téorii algoritmov . Doklady Akadéimii Nauk SSSR, vol. 108 , pp. 194–197. [REVIEW]Hartley Rogers - 1957 - Journal of Symbolic Logic 22 (2):218-219.
Markov A.. Névožmoinost' nékotoryh algoritmov v téorii associativnyh sistém . Doklady Akadémii Nauk SSSR, vol. 77 , pp. 19–20. [REVIEW]Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (3):215-215.
Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.
Logic and Algorithms with Applications to the Computer and Information Sciences.Robert R. Korfhage - 1971 - Journal of Symbolic Logic 36 (2):344-346.
Primenenii︠a︡ metodov teorii dokazatelʹstv v teorii kategoriĭ.A. A. Babaev - 2001 - Baku: "ELM". Edited by R. S. Sadyrkhanov.
B. M. Kloss. K oprédéléniú složnosti algoritmov. Doklady Akademii Nauk SSSR, vol. 157 , pp. 38–40. - B. M. Kloss. The definition of complexity of algorithms. English translation of the preceding by S. L. Bloom. Soviet Mathematics, vol. 5 no. 4 , pp. 880–882. [REVIEW]Alan Cobham - 1969 - Journal of Symbolic Logic 34 (3):509.
Smysl i ontologii︠a︡ v logike.N. B. Vi︠a︡tkina - 1991 - Kiev: Nauk. dumka.
Logic and algorithms.Robert R. Korfhage - 1966 - New York,: Wiley.
Mathematical logic, the theory of algorithms, and the theory of sets.S. I. Adi︠a︡n (ed.) - 1977 - Providence, R.I.: American Mathematical Society.
I. Žuravlév Ú.. O névozmožnosti postroéniá minimal'nyh dizúnktivnyh normal'nyh form funkcij algébry logiki v odnom kassé algoritmov. Doklady Akadémii Nauk SSSR, vol. 132 , pp. 504–506.Žuravlev Yu. I.. On the impossibility of constructing minimal disjunctive normal forms for functions of the algebra of logic in a single class of algorithms. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 1 no. 3 , pp. 581–583. [REVIEW]Andrzej Rowicki - 1965 - Journal of Symbolic Logic 30 (3):379-379.
Paul W. Abrahams. Machine verification of mathematical proof. Mathematical algorithms, vol. 1 no. 2 , pp. 11–32; vol. 1 no. 3 , pp. 19–38; vol. 2 , pp. 28–79; vol. 3 , pp. 28–155. [REVIEW]John McCarthy - 1972 - Journal of Symbolic Logic 37 (2):411-412.
Issledovanii︠a︡ analiticheskogo nasledii︠a︡ Lʹvovsko-Varshavskoĭ shkoly.V. L. Vasi︠u︡kov (ed.) - 2006 - Sankt-Peterburg: Mir.
Issledovaniia Po Matematicheskoi Lingvistike, Matematicheskoi Logike I Informatsionnym Iazykam Sbornik Statei.D. A. Bochvar & Iu A. Shreider - 1972 - "Nauka,".

Analytics

Added to PP
2023-05-19

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