Pages that link to "Item:Q163604"

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

Displaying 50 items.

• Topoi. The categorial analysis of logic (Q1139588) (← links)
• The Kleene Symposium. Proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A (Q1140612) (← links)
• Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing (Q1144008) (← links)
• Set theory. An introduction to independence proofs (Q1144013) (← links)
• Generalized recursion theory II. Proceedings of the 1977 Oslo Symposium (Q1148899) (← links)
• The lambda calculus, its syntax and semantics (Q1155602) (← links)
• Logic, methodology and philosophy of science. IV. Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, August 29 - September 4, 1971 (Q1165228) (← links)
• Logic, methodology and philosophy of science, VI. Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science, Hannover, 1979 (Q1166495) (← links)
• Logic colloquium '80. Papers intended for the European Summer Meeting of the Association for Symbolic Logic, held in Prague, August 24-30, 1980 (Q1166496) (← links)
• Proceedings of the Herbrand Symposium. Logic Colloquium '81, held in Marseille, France, July 1981 (Q1166497) (← links)
• Computability, complexity, logic. Transl. from the German (Q1187648) (← links)
• Constructivism in mathematics. An introduction. Volume I (Q1188500) (← links)
• Classical recursion theory. The theory of functions and sets of natural numbers (Q1188502) (← links)
• Constructivism in mathematics. An introduction. Volume II (Q1188522) (← links)
• Classification theory and the number of non-isomorphic models. (Q1188601) (← links)
• Model theory. (Q1188602) (← links)
• Language in action. Categories, lambdas and dynamic logic (Q1188935) (← links)
• Classical recursion theory. The theory of functions and sets of natural numbers. (Q1189450) (← links)
• Recursive functionals (Q1202200) (← links)
• Logic colloquium '86. Proceedings of the Colloquium held in Hull, U. K., July 13-19, 1986 (Q1210717) (← links)
• Set theory. An introduction to large cardinals (Q1212459) (← links)
• Logic colloquium '73. Proceedings of the logic colloquium, Bristol, July 1973 (Q1214886) (← links)
• Proceedings of the 3rd Scandinavian logic symposium (Q1214887) (← links)
• An algebraic approach to non-classical logics (Q1214924) (← links)
• Elementary induction on abstract structures (Q1217684) (← links)
• Logic in algebraic form. Three languages and theories (Q1219883) (← links)
• Large infinitary languages. Model theory (Q1224571) (← links)
• Sets and classes. On the work by Paul Bernays (Q1226079) (← links)
• The theory of semisets (Q1227616) (← links)
• Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed (Q1229868) (← links)
• Non-classical logics, model theory, and computability. Proceedings of the 3rd Latin-American symposium on mathematical logic, Campinas, Brazil, July 11--17, 1976 (Q1234274) (← links)
• Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory (Q1235692) (← links)
• Combinatorial set theory (Q1239733) (← links)
• Abstract set theory. 4th rev. ed. Revised by Azriel Levy (Q1244342) (← links)
• Classification theory and the number of non-isomorphic models (Q1250098) (← links)
• Logic colloquium 76. Proceedings of a conference held in Oxford in July 1976 (Q1258721) (← links)
• Handbook of proof theory (Q1264579) (← links)
• Handbook of recursive mathematics. Vol. 1: Recursive model theory (Q1276268) (← links)
• Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics (Q1276269) (← links)
• Categorical logic and type theory (Q1279608) (← links)
• Tools and techniques in modal logic (Q1297057) (← links)
• Handbook of computability theory (Q1307021) (← links)
• Classical recursion theory. Vol. II (Q1307029) (← links)
• Admissibility of logical inference rules (Q1309039) (← links)
• Selected papers on AUTOMATH, dedicated to N. G. de Bruijn (Q1340050) (← links)
• Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991 (Q1344735) (← links)
• Model theory (Q1393228) (← links)
• Many-dimensional modal logics: theory and applications (Q1422049) (← links)
• Computable structures and the hyperarithmetical hierarchy (Q1572657) (← links)
• Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer. (Q1591661) (← links)