SU\G(𝔸)/K·U

Antoniń Špaček. Statistical estimation of provability in Boolean logic. Transactions of the Second Prague Conference on Information Theory, Statistical Decision Functions and Random Processes, held at Liblice near Prague, from June 1 to 6, 1959, Publishing House of the Czechoslovak Academy of Sciences, Prague1960, pp. 609–626.

Albert A. Mullin

Type: Article

Publication Date: 1962-03-01

Citations: 0

DOI: https://doi.org/10.2307/2963722

Locations

  • Journal of Symbolic Logic - View

Similar Works

Action Title Year Authors
+ S. Ú. Maslov. Téoriá déduktivnyh sistém i éé priménéniá. Russian original of the preceding. Kibérnétika. Radio i Savz', Moscow1986, 135 pp. - K. D. Stroyan and José Manuel Bayod. Foundations of infinitesimal stochastic analysis. Studies in logic and the foundations of mathematics, vol. 119. North-Holland, Amsterdam, New York, and Oxford, 1986, xii + 478 pp. 1988 Nigel J. Cutland
+ A. N. Kolmogorov and A. P. Yushkevich (eds.), Mathematics of the 19th Century: Mathematical Logic, Algebra, Number Theory, Probability Theory. Basel, Boston, Berlin: Birkhäuser, 1992. Pp. xii + 308. ISBN 3-7643-2552-6. SFr. 198.00. 1994 Ben Marsden
+ S. Ú. Maslov. Téoriá déduktivnyh sistém i éé priménéniá. Russian original of the preceding. Kibérnétika. Radio i Savz', Moscow 1986, 135 pp. - K. D. Stroyan and José Manuel Bayod. Foundations of infinitesimal stochastic analysis. Studies in logic and the foundations of mathematics, vol. 119. North-Holland, Amsterdam, New York, and Oxford, 1986, xii + 478 pp. 1988 Nigel J. Cutland
+ Probability and Logic 2005 Constantin A. Drossos
+ P. S. Novikov. Eléménty matématičéskoj logiki (Elements of mathematical logic). Gosudarstvénnoé Izdatél'stvo Fiziko-matématičéskoj Litératury, Moscow1959, 400 pp. 1965 Andrzej Mostowski
+ Karl Schröter. Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikaten-kalküle. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 241–251. 1970 J. Barkley Rosser
+ Karl Schröter. Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikaten-kalküle. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 241–251. 1970 J. Barkley Rosser
+ Paul Bernays. Remarques sur le problème de la décision en logique élémentaire. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 39–43. - J. Porte. Intervention. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de … 1960 Martin Davis
+ László Kalmár. Az eldöntesprobléma visszavezetése logikai formulák véges halmazon való kielégithetőségének kérdésére (Reduction of the decision problem to the satisfiability question of logical formulae on a finite set). Ungarisch mit russischem Auszug und englischem Auszug. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2. — Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 août - 2 septembre 1950, publié avec le soutien de l'Académie des … 1955 Rózsa Péter
+ Mathematical logic and algebra : collected papers dedicated to the 100th birthday of Academician Petr Sergeevich Novikov 2003 Маик Наука
П. С. Новиков
+ S. A. Ánovskaá. Osnovaniá matématiki i matématičéskaá logika (Foundations of mathematics and mathematical logic). Matématika v SSSR za tridcat′ lét 1917–1947 (Mathematics in the USSR for the thirty years 1917–1947), OGIZ, Moscow and Leningrad1948, pp. 9–50. 1951 George L. Kline
+ Open Problems in Analysis of Boolean Functions 2012 Ryan O’Donnell
+ Open Problems in Analysis of Boolean Functions 2012 Ryan O’Donnell
+ N. I. Stážkin and V. D. Silakov. Kratkij očérk istorii obščej i matématičéskoj logiki v Rossii (A brief outline of the history of general and mathematical logic in Russia). Gosudarstvénnoé Izdatél'stvo “Vysšaa Škola,” Moscow1962, 87 pp 1965 David Dinsmore Comey
+ PDF Chat Problems in probability theory, mathematical statistics and theory of random functions. Edited by A. A. Sveshnikov. Translated by Scripta Technica Inc. W.B, Saunders Co., Philadelphia, London, Toronto, 1968. ix + 481 pages. Can. $15.70. 1969 Donald A. Dawson
+ Probability and Logic 2014 Constantin A. Drossos
+ S. A. Ánovskaá. Matématičéskaá logika i osnovaniá matématiki (Mathematical logic and the foundations of mathematics). Matématika v SSSR za sorok lét 1917–1957, Vol. I, <i><b>Obzornyé stat'i</b></i>, Gosudarstvénnoé Izdatél′stvo Fiziko-matématičéskoj Litératury, Moscow 1959, pp. 13–120. 1962 Edward J. Cogan
+ Probability and Logic 2004 Constantin A. Drossos
+ László Kalmár. Ein direkter Beweis für die allgemein-rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der ersten Stufe mit Identität. Zeitschrift für mathematische Logik und Grundlagen der Mathematik (Berlin), vol. 2 (1956), pp. 1–14. 1962 Steven Orey
+ The Department of Probability Theory at Moscow State University 1990 Б. В. Гнеденко

Works That Cite This (0)

Action Title Year Authors

Works Cited by This (0)

Action Title Year Authors