G. E. Minc. Teoréma Erbrana dlá isčisléniá prédikatov s ravénstvom i funkcional′nymi simvolami. Doklady Akadémii Nauk SSSR, vol. 169 , pp. 273–275. - G. E. Minc. Herbrand's theorem for the predicate calculus with equality and functional symbols. English translation of the preceding by Leo F. Boron. Soviet mathematics, vol. 7 no. 4 , pp. 911–914 [Book Review]

Journal of Symbolic Logic 35 (2):325 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270535

Links

PhilArchive



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

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

S. Ú. Maslov, G. É. Minc, and V. P. Orévkov. Nérazréšimost′ ν konstruktivnom isčislénii prédikatov nékotoryh klassov formul, sodéržaščih tol′ko odnoméstnyé prédikatnyé péréménnyé. Doklady Akadémii Nauk, vol. 163 , pp. 295–297. - S. Ju. Maslov, G. E. Minc, and V. P. Orevkov. Unsolvability in the constructive predicate calculus of certain classes of formulas containing only monadic predicate variables. Translation of the preceding by E. Mendelson. Soviet mathematics, vol. 6 , pp. 918–920. [REVIEW]Georg Kreisel - 1970 - Journal of Symbolic Logic 35 (1):143-144.
Minc G. É.. Skolèmovskij métod eliminacii položitél'nyh kvantorov v sékvéncial'nyh isčisléniáh. Doklady Akadémii Nauk SSSR, vol. 169 , pp. 24–27.Minc G. E.. Skolem's method of elimination of positive quantifiers in sequential calculi. English translation of the preceding by Ebner L.. Soviet mathematics, vol. 7 no. 4 , pp. 861–864. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):526-527.
V. A. Ánkov. O nékotoryh supérkonstruktivnyh isčisléniáh vyskazyvanij. Doklady Akadémii Nauk SSSR, vol. 151 , pp. 796–798. - V. A. Jankov. Some superconstructive propositional calculi. English translation of the preceding by Sue Walker. Soviet mathematics, vol. 4 no. 4 , pp. 1103–1105. - V. A. Ánkov. O réalizuémyh formulah logiki vyskazyvanij.Doklady Akadémii Nauk SSSR, vol. 151 , pp. 1035–1037. - V. A. Jankov. Realizable formulas of propositional logic. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 4 , pp. 1146–1148. - V. A. Ánkov. O sváži méždu vyvodimost′ú ν intuičionistskom isčislénii vyskazyvanij i konéčnymi implikativnymi strukturami. Doklady Akadémii Nauk SSSR, vol. 151 , pp. 1293–1294. - V. A. Jankov. The relationship between deducibility in the intuitionist propositional calculus and finite implicational structures. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 4 , pp. 1203–1204. [REVIEW]Gene F. Rose - 1970 - Journal of Symbolic Logic 35 (1):138-139.
V. I. Amstislavskij. Téorétiko-množéstvénnyé operacii i rékursivnyé iérarhii. Doklady Akadémii Nauk SSSR, vol. 169 , pp. 995–998. - V. I. Amstislavskij. Set-theoretical operations and recursive hierarchies. English translation of the preceding by E. Wesley. Soviet mathematics, vol. 7 no. 4 , pp. 1029–1032. - V. I. Amstislavskij. Rasširénié rékursivnyh iérarhij i R-opéracii. Doklady Akadémii Nauk SSSR, vol. 180 , pp. 1023–1026. - V. I. Amstislavskij. Expansion of recursive hierarchies and R-operations. English translation of the preceding by A. Yablonsky. Soviet mathematics, vol. 9 no. 3 , pp. 703–706. - V. I. Amstislavskij. O razložénii téla množéstv, polučaémyh R-opéraciéj nad rékursivnymi množéstvami. Doklady Akadémii Nauk SSSR, vol. 191 , pp. 743–746. - V. I. Amstislavskij. On the decomposition of a field of sets obtained by an R-operation over recursive sets. English translation of the preceding by S. Shepherd. Soviet mathematics, vol. 11 no. 2 , pp. 419–422. - V. I. Amstislavskij. [REVIEW]Peter G. Hinman - 1972 - Journal of Symbolic Logic 37 (2):409-410.
L. L. Maksimova. Nékotoryé voprosy isčisléniá Akkérmana. Doklady Akademii Nauk SSSR, vol. 175 , pp. 1222–1224. - L. L. Maksimova. Some problems of the Ackermann calculus. English translation of the preceding by A. Yablonsky. Soviet mathematics, vol. 8 no. 4 , pp. 997–999. [REVIEW]Alan Ross Anderson - 1969 - Journal of Symbolic Logic 33 (4):608-610.
V. V. Višin. Toždéstvénnyé préobrazovaniá v čétyréhznačnoj logiké. Doklady Akadémii Nauk SSSR, vol. 150 , pp. 719–721. - V. V. Višin. Identical transformations in four-place logic. English translation of the preceding by J. N. Whitney. Soviet mathematics, vol. 4 no. 3 , pp. 724–726. - V. L. Murskij. Suščéstvovanié v tréhznačnoj logiké zamknutogo klassa s konéčnym bazisom, ne iméúščégo konéčnoj polnoj sistémy toždéstv. Doklady Akadémii Nauk SSSR, vol. 163 , pp. 815–818. - V. L. Murskiǐ. The existence in three-valued logic of a closed class with finite basis, not having a finite complete system of identities. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 6 , pp. 1020–1024. [REVIEW]Ralph Seifert - 1972 - Journal of Symbolic Logic 37 (4):762-763.
Minc G. É.. Analog téorémy Erbrana dlá konstruktivnogo isčisléniá prédikatov. Doklady Akadémii Nauk SSSR, vol. 147 , pp. 783–786.Minc G. É.. An analogue of Herbranďs theorem for the constructive predicate calculus. English translation of the preceding by Goss R. N.. Soviet mathematics, vol. 3 no. 6 , pp. 1712–1715. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):525-525.
Maslov S. Ú.. Préobrazovanié proizvol′nyh kanoničéskih isčislénij v kanoničéskié isčisléniá spécial′nyh tipov. Doklady Akadémii Nauk SSSR, vol. 147 , pp. 779–782.Maslov S. Ju.. Transformation of arbitrary canonical calculi into canonical calculi of special types. English translation of the preceding by Gdss R. N.. Soviet mathematics, vol. 3 no. 6 , pp. 1708–1711. [REVIEW]E. M. Fels - 1968 - Journal of Symbolic Logic 32 (4):527-527.
B. A. Trahténbrot. Ob avtosvodimosti. Doklady Akadémii Nauk SSSR, vol. 192 , pp. 1224–1227. - B. A. Trahtenbrot. On autoreducibility. English translation of the preceding by M. Machover. Soviet mathematics, vol. 11 no. 3 , pp. 814–817. [REVIEW]Richard E. Ladner - 1973 - Journal of Symbolic Logic 38 (3):527.
Ú. V. Matiásévič Diofantovost' péréčislimyh množéstv. Doklady Akadémii Nauk SSSR, vol. 191 , pp. 279–282. - Ju. V. Matijasevič. Enumerable sets are diophantine. English translation of the preceding by A. Doohovskoy. Soviet mathematics, vol. 11 no. 2 , pp. 354–357. See Errata, ibid., vol. 11 no. 6 , p. vi. [REVIEW]Julia Robinson - 1972 - Journal of Symbolic Logic 37 (3):605-606.
N. V. Bélákin. Mašiny T′uringa, rabotaúščié na ploskosti. Doklady Akadémii Nauk SSSR, vol. 168 , pp. 502–503. - N. V. Beljakin. Turing machines operating on a plane. English translation of the preceding by L. Ebner. Soviet mathematics, vol. 7 no. 3 , pp. 661–662. [REVIEW]Patrick C. Fischer - 1968 - Journal of Symbolic Logic 33 (3):469.
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.
Ú. V. Matiásévič. Diofantovo prédstavlénié množéstva prostyh čisél. Doklady Akadémii Nauk SSSR, vol. 196 , pp. 770–773. - Ju. V. Matijasevič. Diophantine representation of the set of prime numbers. English translation of the preceding by R. N. Gross, with an Addendum. Soviet mathematics, vol. 12 no. 1 , pp. 249–254. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):607.
M. M. Kipnis. Ob odnom svojstvé propozicionaľnyh formul. Doklady Akadémii Nauk SSSR, vol. 174 , pp. 277–278. - M. M. Kipnis. A property of prepositional formulas. English translation of the preceding by S. Walker. Soviet mathematics, vol. 8 no. 3 , pp. 620–622. [REVIEW]Gene F. Rose - 1969 - Journal of Symbolic Logic 33 (4):606.
A. I. Mal′cév. Sirogo rodstvénnyé modéli i rékursivno sovéršénnyé algebry. Doklady Akadémii Nauk SSSR, vol. 145 , pp. 276–279. - A. I. Mal′cév. Strongly related models and recursively complete algebras. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 3 no. 4 , pp. 987–991. [REVIEW]Verena H. Dyson - 1966 - Journal of Symbolic Logic 31 (4):649-650.

Analytics

Added to PP
2013-11-03

Downloads
29 (#536,973)

6 months
9 (#290,637)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references