Issledovanii︠a︡ po matematicheskoĭ logike i teorii algoritmov

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.2.I87 1985

Links

PhilArchive



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

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

Issledovanii︠a︡ po matematicheskoĭ logike i teorii algoritmov.Sh S. Pkhakadze (ed.) - 1975 - Tbilisi: Izd-vo Tbilisskogo universiteta.
Voprosy matematicheskoĭ logiki i teorii algoritmov.N. M. Nagornyĭ (ed.) - 1988 - Moskva: Vychislitelʹnyĭ t︠s︡entr AN SSSR.
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".
Osnovy teorii ėlementarnykh algoritmov.N. K. Kosovskiĭ - 1987 - Leningrad: Izd-vo Leningradskogo universiteta.
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.
Prikladnye aspekty matematicheskoĭ logiki: sbornik nauchnykh trudov.I︠U︡. L. Ershov & S. S. Goncharov (eds.) - 1987 - Novosibirsk: Akademii︠a︡ nauk SSSR, Sibirskoe otd-nie, In-t matematiki.
Slozhnostnye problemy matematicheskoĭ logiki: sbornik nauchnykh trudov.M. I. Kanovich (ed.) - 1985 - Kalinin: Kalininskiĭ gosudarstvennyĭ universitet.
Issledovanii︠a︡ po sovremennoĭ induktivnoĭ logike.B. N. Pi︠a︡tnit︠s︡yn & S. P. Budbaeva (eds.) - 1989 - Moskva: Akademii︠a︡ nauk SSSR, In-t filosofii.
Primenenii︠a︡ metodov teorii dokazatelʹstv v teorii kategoriĭ.A. A. Babaev - 2001 - Baku: "ELM". Edited by R. S. Sadyrkhanov.
IV Vsesoi︠u︡znai︠a︡ konferent︠s︡ii︠a︡ Primenenie metodov matematicheskoĭ logiki: Sekt︠s︡ii︠a︡ Predstavlenie znaniĭ i sintez programm: tezisy dokladov.G. E. Mint︠s︡ & P. P. Lorents (eds.) - 1986 - Tallin: Akademii︠a︡ nauk Ėstonskoĭ SSSR.
Issledovanii︠a︡ po neklassicheskim logikam: VI Sovetsko-finskiĭ kollokvium.V. A. Smirnov (ed.) - 1989 - Moskva: "NAuka".

Analytics

Added to PP
2023-05-27

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