Logical and logico-mathematical calculi. 2

(ed.)
Providence, R.I.,: American Mathematical Society (1971)
  Copy   BIBTEX

Abstract

Trudy Mat. Inst. Steklov. Proc. Steklov Inst. Math. l2l () () ON A BOUND FOR THE COMPLEXITY OF TERMS IN THE RESOLUTION METHOD UDC 51.01 : NK ...

Categories

Keywords

Reprint years

1974

Call number

QA9.A413 no. 121

ISBN(s)

082183021X

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

External links

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

Mathematical logic, the theory of algorithms, and the theory of sets.S. I. Adi︠a︡n (ed.) - 1977 - Providence, R.I.: American Mathematical Society.
Review: S. U. Maslov, V. P. Orevkov, N. A. Sanin, The Concept of Strong Representability in the General Theory of Calculi. [REVIEW]Robert A. DiPaola - 1974 - Journal of Symbolic Logic 39 (1):187-188.
Adjan S. I.. Defining relations and algorithmic problems for groups and semigroups. English translation of XXXVIII 357 by M. Greendlinger. Proceedings of the Steklov Institute of Mathematics, no. 85 , American Mathematical Society, Providence 1967, iii + 152 pp. [REVIEW]Ann Yasuhara - 1973 - Journal of Symbolic Logic 38 (2):338-339.
Masao Ohnishi and Kazuo Matsumoto. Gentzen method in modal calculi. Osaka mathematical journal, vol. 9 no. 2 , pp. 113–130. See Correction, Masao Ohnishi and Kazuo Matsumoto. Gentzen method in modal calculi. Osaka mathematical journal, vol. 10 , p. 147. [REVIEW]Richard Routley - 1975 - Journal of Symbolic Logic 40 (3):466-467.
On a fourth order Steklov eigenvalue problem.Alberto Ferrero, Filippo Gazzola & Tobias Weth - 2005 - Analysis: International mathematical journal of Analysis and its Applications 25 (4).
Ú. V. Matiásévič Arifmétičéskié prédstavléniá stépénéj. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 159–165. - Yu. V. Mattyasevich. Arithmetic representations of powers. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, pp. 75–78. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):605.
Course of mathematical logic.Roland Fraïssé - 1973 - Dordrecht,: Reidel.
S. Ú. Maslov. Ponátié strogoj prédstavimosti v obščej téorii isčislénij . Problémy konstruktivnogo napravléniá v matématiké, 4, Sbornik rabot, edited by V. P. Orévkov and N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 93, Izdatél'stvo “Nauka,” Leningrad1967, pp. 3–42. [REVIEW]Robert A. DiPaola - 1974 - Journal of Symbolic Logic 39 (1):188-188.
Ú. V. Matiásévič Dvé rédukcii 10-j problémy Gilbérta. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 144–158. - Yu. V. Matiyasevich. Two reductions of Hilbert's tenth problem. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, pp. 68–74. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):604-605.
G. É. Minc. Dizúnktivnaá intérprétaciá isčisléniá LJ. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél′stvo “Nauka,” Leningrad 1968, pp. 182–188. - G. E. Mints. Disjunctive interpretation of the LJ calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London1970, pp. 86–89. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):527-528.

Analytics

Added to PP
2009-01-28

Downloads
8 (#517,646)

6 months
8 (#1,326,708)

Historical graph of downloads
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