Pages that link to "Item:Q163604"

The following pages link to Studies in Logic and the Foundations of Mathematics (Q163604):

Displaying 50 items.

• Logic colloquium '88. Proceedings of the colloquium held in Padova, Italy, August 22-31, 1988 (Q1801274) (← links)
• Logic colloquium '87. Proceedings of the colloquium held in Granada, Spain, July 20-25, 1987 (Q1801276) (← links)
• Logic, methodology and philosophy of science VIII. Proceedings of the eighth international congress of logic, methodology and philosophy of science, Moscow, August 17-22, 1987 (Q1801307) (← links)
• Patras Logic Symposion. Proceedings of the Logic Symposion held at Patras, Greece, August 18--22, 1980 (Q1835646) (← links)
• The L. E. J. Brouwer Centenary Symposium. Proceedings of the Conference held in Noordwijkerhout, 8--13 June, 1981 (Q1835901) (← links)
• Hausdorff gaps and limits (Q1892402) (← links)
• Logical frameworks for truth and abstraction. An axiomatic study (Q1920240) (← links)
• The theory of models. Proceedings of the 1963 international symposium at Berkeley. 3rd printing (Q2265406) (← links)
• Introduction to the theory of finite automata. Translated from the Russian. Translation edited by J.C. Shepherdson (Q2394550) (← links)
• A transfinite type theory with type variables (Q2395467) (← links)
• The theory of models. Proceedings of the 1963 international symposium at Berkeley (Q2524678) (← links)
• Logic, methodology and philosophy of science. Proceedings of the 1964 International Congress (Q2524679) (← links)
• Problems in the philosophy of science. Proceedings of the International Colloquium in the Philosophy of Science. London, 1965. Vol. 3 (Q2526339) (← links)
• A deductive theory of space and time (Q2528665) (← links)
• The problem of inductive logic. Proceedings of the international colloquium in the philosophy of science, London 1965. Vol. 2 (Q2530284) (← links)
• Logic, methodology and philosophy of science III. Proceedings of the third international congress for logic, methodology and philosophy of science, Amsterdam 1967 (Q2533756) (← links)
• Contributions to mathematical logic. Proceedings of the logic colloquium, Hannover 1966 (Q2533757) (← links)
• Constructible sets with applications (Q2536044) (← links)
• Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968 (Q2539037) (← links)
• Mathematical logic and foundations of set theory. Proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968 (Q2541639) (← links)
• Logic colloquium '69. Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969 (Q2545133) (← links)
• Recursive analysis (Q2546345) (← links)
• Intuitionism. An introduction. 3rd revised ed (Q2546865) (← links)
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers (Q2547549) (← links)
• The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III (Q2550376) (← links)
• Contribution to non-standard analysis (Q2552102) (← links)
• Combinatory logic. Vol. II (Q2553958) (← links)
• Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed (Q2556402) (← links)
• Truth, syntax and modality. Proceedings of the Temple University conference on alternative semantics (Q2558274) (← links)
• Word problems. Decision problems and the Burnside problem in group theory (Q2558275) (← links)
• Outlines of a formalist philosophy of mathematics. 3rd printing (Q2558854) (← links)
• Introduction to model theory and to the metamathematics of algebra (Q2626205) (← links)
• The propositional logic of Boethius (Q2649306) (← links)
• Outlines of a formalist philosophy of mathematics (Q2649307) (← links)
• An essay in modal logic (Q2649308) (← links)
• Ancient formal logic (Q2649407) (← links)
• On the metamathematics of algebra (Q2649408) (← links)
• Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel (Q2650013) (← links)
• Abstract set theory (Q2650755) (← links)
• Truth and consequence in mediaeval logic (Q2650839) (← links)
• Undecidable theories (Q2651342) (← links)
• Nomological statements and admissible operations (Q2651969) (← links)
• Solvable cases of the decision problem (Q2651970) (← links)
• Proof theory (Q5905909) (← links)
• Non-standard analysis (Q5920791) (← links)
• The axiom of choice (Q5921596) (← links)
• Rudiments of \(\mu\)-calculus (Q5926539) (← links)
• Proof theory (Q5966925) (← links)
• Publication:758957 (← links)
• Publication:766956 (← links)