Essai sur la genèse de la méthode des tableaux de Beth

 Access to full text

 Full (PDF)

1. Bernays, Paul. 1936Logical Calculus. Notes on Lectures at the Institute for Advanced Study 1935-36, prepared with the assistance of F. A. Ficken. Mimeographed. Inst. for Adv. Study, Princeton N.J., 125 pp. 
2. Beth, Evert Willem1947Semantical Considerations on Intuitionistic Mathematics. Indagationes mathematicae 9, 572-577. Zbl0035.14814
3. Beth, Evert Willem1951A Topological Proof of the Theorem of Löwenheim-Skolem-Gödel. Indagationes mathematicae 13, 436-444. Zbl0044.00205
4. Beth, Evert Willem1953a Some Consequences of the Theorem of Löwenheim-Skolem-Gödel-Malcev. Indagationes mathe-maticae 15, 66-71. Zbl0051.00601
5. Beth, Evert Willem1953b On Padoa's Method in the Theory of Definition. Indagationes mathematicae 15, 330-339. Zbl0053.34402
6. Beth, Evert Willem1955a Remarks on Natural Deduction. Indagationes mathematicae 17, 322-325. Zbl0067.25102
7. Beth, Evert Willem1955b Semantic Entailment and Formal Derivability. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Amsterdam, Afd. Letterkunde, N.R. 18, n° 13, 309-342. 
8. Beth, Evert Willem1956a L'existence en mathématiques. Gauthier-Villars, Paris, et Nauwelaerts, Louvain, 1956, 60 pp. 
9. Beth, Evert Willem1956b Semantic Construction of Intuitionistic Logic. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Amsterdam, Afd. Letterkunde, N.R. 19, n° 11 (1956), pp. 357-388. Zbl0073.24903
10. Beth, Evert Willem1957Remarks on Elementary Predicate Logic. Nieuw Archief voor Wiskunde 3, 58-62. Zbl0081.01101
11. Beth, Evert Willem1958a On the Completeness of the Classical Sentential Logic. Indagationes mathematicae 20, 434-437. Zbl0086.00610
12. Beth, Evert Willem1958b Construction sémantique de la logique intuitionniste. Le raisonnement en mathématiques et en sciences expérimentales. Colloque International du C.N.R.S. 70 (Paris, 26 sept.-1 oct. 1955), 77-84. 
13. Beth, Evert Willem1959a The Foundations of Mathematics. A study in the Philosophy of science. North-Holland, Amsterdam, 1959, xxvi+741 pp. Zbl0085.24104
14. Beth, Evert Willem1959b Considérations heuristiques sur les méthodes de déduction par séquences. Logique et Analyse, n.s. 2, 153-159. 
15. Beth, Evert Willem1960Completeness Results for Formal Systems. Proceedings of the international Congress of Mathematicians 1958. Cambridge University Press, 1960, pp. 281-288. Zbl0119.25104
16. Beth, Evert Willem1961Compte-Rendu des travaux effectués par l'Université d'Amsterdam dans le cadre du Contrat Euratom n° 010-60-12. EURATOM - C.C.R. ISPRA. Rapport CETIS n° 26, Logique, Août 1961. Miméographié. 170 pp. 
17. Beth, Evert Willem1962Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic. Reidel, Dordrecht, 1962, xiv+170 pp. Zbl0105.24503
18. Frege, Gottlob1879Begriffschrift. Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Nebert, Halle, 1879, x+88 pp. 
19. Gentzen, Gerhard. 1934Untersuchungen über das logische Schliessen. Mathematische Zeitschrift 39, 176-210, 405-431. Traduction française par Ladrière, J. (avec notes de Feys, R. et Ladrière, J.) sous le titre Recherches sur la déduction logique. Presses Universitaires de France, Paris, 1955. XII+170 pp. Zbl0010.14501
20. Gödel, Kurt1933Eine Interpretation des intuitionistischen Aussagenkalküls. Ergebnisse eines mathematischen Kolloquiums 3, 39-40. Zbl0007.19303
21. Guillaume, Marcel1966Quelques remarques sur les "tableaux de Beth". Synthèse 16, 27-33. Reproduit dans E.W. Beth Memorial Colloquium. Logic and Foundations of Science. Paris, Institut Henri Poincaré, 19-21 May 1964. Ed. by J.L. Destouches. Reidel, Dordrecht, 1967, pp. 39-45. Zbl0203.00903
22. Hasenjaeger, Gisbert1952Konsequenzenlogik, dans: Hermes, H. und Scholz, H. Mathematische Logik. Enzyklopädie der mathematischen Wissenchaften 1 Berlin 1952. 
23. Herbrand, Jacques1930Recherches sur la théorie de la démonstration. Travaux de la Société des Sciences et des Lettres de Varsovie, Classe III Sciences mathématiques et physiques, n° 33, 128 pp. JFM56.0824.02
24. Heyting, Arend1930Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse, 1930, pp. 42-56. JFM56.0823.01
25. Hilbert, David et Bernays, Paul1939Grundlagen der Mathematik, II. Springer, Berlin, 1939, xii+498 pp. Zbl0191.28402
26. Hintikka, K. J. J.1953Distributive Normal Forms in the Calculus of Predicates. Acta Philosophica Fennica 6, 1-71. Zbl0050.24601
27. Hintikka, K. J. J.1955Form and Content in Quantification Theory. Acta Philosophica Fennica 8, 7-55. Zbl0067.00103
28. Kanger, Stig1957Provability in Logic. Stockholm Studies in Philosophy I, Almquist and Wiksell, Stockholm 1957, 47 pp. Zbl0077.01202
29. Kemeny, John G.1948Models of Logical Systems. Journal of Symbolic Logic 13, 16-30. Zbl0035.00401
30. Kripke, Saul A.1959A Completeness Theorem in Modal Logic. Journal of Symbolic Logic 24, 1-14. Zbl0091.00902
31. Löwenheim, Leopold1915Über Möglichkeiten im Relativkalkül. Mathematische Annalen 76, 447-470. Zbl45.0108.01
32. Mc Kinsey, John Charles Chenoweth1941A Solution of the Decision Problem for the Lewis Systems S2 and S4, with an Application to Topology. Journal of Symbolic Logic 4, 117-134. Zbl0063.03863JFM67.0974.01
33. Mc Kinsey, John Charles Chenoweth and Tarski, Alfred1944The Algebra of Topology. Annals of Mathematics ser. 2, 45, 141-191. 
34. Mc Kinsey, John Charles Chenoweth and Tarski, Alfred1946On Closed Elements in Closure Algebras. Annals of Mathematics ser. 2, 47, 122-162. Zbl0060.06207
35. Mc Kinsey, John Charles Chenoweth and Tarski, Alfred1948Some Theorems about the Sentential Calculi of Lewis and Heyting. Journal of Symbolic Logic 13, 1-15. Zbl0037.29409
36. Mostowski, Andrzej1949Sur l'interprétation géométrique et topologique des notions logiques. Library of the 10th International congress of Philosophy (Amsterdam 1948). Ed. Beth, E.W., Pos, H.J., Hollak, H.J.A. North Holland, Amsterdam, 1949, pp. 767-769. Zbl0031.19303
37. Rasiowa, Helena1951Algebraic Treatment of the Fonctional Calculi of Heyting and Lewis. Fundamenta Mathematicae 38, 99-126. Zbl0044.24902
38. Rasiowa, Helena1954Algebraic Models of Axiomatic Theories. Fundamenta Mathematicae 41, 291 -310. Zbl0065.00402
39. Rasiowa, Helena, and Sikorski, Roman1950A Proof of the Completeness Theorem of Gödel. Fundamenta Mathematicae 37, 193-200. Zbl0040.29303
40. Tarski, Alfred1935Grundzüge der Systemenkalkül, Erster Teil. Fundamenta Mathematicae 25, 503-526. Zbl0012.38501JFM62.0038.01
41. Tarski, Alfred1938Der Aussagenkalkül und die Topologie. Fundamenta Mathematicae 31, 103-134. Zbl0020.33704JFM64.0928.04
42. Tarski, Alfred1952Some Notions and Methods in the Borderline of Algebra and Metamathematics. Proceedings of the International Congress of Mathematicians (Cambridge, Mass., 1950) I. American Mathematical Society, Providence, R.I., 1952, pp. 705-720. Zbl0049.00702
43. Ithuys-Bechthold, P. M. J.1995Inventory of the Papers of Evert Willem Beth (1908-1964), Philosopher, Logician and Mathematician. 1920-1964 (c. 1980). Inventarisreeks Rijksarchief in Noord-Holland 4, Haarlem, 1995, 342 pp.