Špaček Antoniń. 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, Prague 1960, pp. 609–626 [Book Review]

Journal of Symbolic Logic 27 (1):101-102 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963722

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,168

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

Vopěnka Petr and Hájek Petr. The theory of semisets. Studies in logic and the foundations of mathematics, vol. 70. North-Holland Publishing Company, Amsterdam and London, and Academia, Publishing House of the Czechoslovak Academy of Sciences, Prague, 1972, 332 pp. [REVIEW]Azriel Levy - 1984 - Journal of Symbolic Logic 49 (4):1422-1423.
Ladislav Rieger. Zu den Strukturen der klassischen Prädikatenlogik. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 121–138. - Ladislav Rieger. Algebraic methods of mathematical logic. Translated from the Czech by Michal Basch. Academia Publishing House of the Czechoslovak Academy of Sciences, Prague, and Academic Press, New York and London, 1967, 210 pp. - M. Katětov. Preface. Therein, pp. 5–6. [REVIEW]Donald Monk - 1970 - Journal of Symbolic Logic 35 (3):440-441.
Vladimír Vavřínek, ed., From Late Antiquity to Early Byzantium. Proceedings of the Byzantinological Symposium in the 16th International Eirene Conference. Prague: Academia, for the Czechoslovak Academy of Sciences, 1985. Pp. 256. [REVIEW]Walter Emil Kaegi - 1987 - Speculum 62 (4):1038-1039.
Publishing houn of the czechoslovak academy ol sciences. Prague, czechoslovakia. Prlnud in czechoslovakia electron microscopic and biochemical studies of the rat liver microsomes. [REVIEW]A. Bergstrand, G. Dallner & S. Orrenius - 1965 - In Karl W. Linsenmann, Proceedings. St. Louis, Lutheran Academy for Scholarship. pp. 3--415.
Mullin Albert A. and Kellner Wayne G.. A residue test for Boolean functions. Transactions of the Illinois State Academy of Science, vol. 51 nos. 3 and 4, , pp. 14–19. [REVIEW]E. J. McCluskey - 1960 - Journal of Symbolic Logic 25 (2):185-185.
Pragmatism and semantics, an international conference held in Prague, the Czech Republic, June 2000.R. Gloznek - 2002 - Filozofia 57 (3):213-216.
Entropy and Information in Science and Philosophy, édité par Libor Kubat et Jiri Zeman. Prague, Academia Publishing House of The Czeckoslovak Academy of Sciences and Elsevier, 1975. 17 × 24, 260 p. [REVIEW]Olivier Costa de Beauregard - 1979 - Revue de Synthèse 100 (95-96):483-486.
Prague University of Economics and Business/Oeconomica Publishing House.Miroslav Vacura (ed.) - 2020
Rieger Ladislav. On the lattice theory of Brouwerian propositional logic. Acta Facultatis Rerum Naturalium Universitatis Carolinae, no. 189. F. Řivnáč, Prague 1949, 40 pp. [REVIEW]Frederick B. Thompson - 1952 - Journal of Symbolic Logic 17 (2):146-147.
Logica Modernorum in Prague About 1400: The Sophistria Disputation 'Quoniam Quatuor'.Egbert P. Bos (ed.) - 2004 - Boston: Brill.

Analytics

Added to PP
2013-11-03

Downloads
49 (#497,525)

6 months
25 (#132,405)

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