Pages that link to "Item:Q163604"

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

Displaying 50 items.

• Foundations of infinitesimal stochastic analysis (Q578734) (← links)
• Relation algebras by games (Q700879) (← links)
• Quantification in nonclassical logic. Volume I. (Q731484) (← links)
• Generalized recursion theory. Proceedings of the 1972 Oslo symposium (Q758957) (← links)
• Intuitionism. An introduction (Q766956) (← links)
• Complete theories (Q766973) (← links)
• Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus (Q768371) (← links)
• Combinatory logic. With two sections by William Craig. (Q769601) (← links)
• Foundations of set theory (Q769896) (← links)
• Axiomatic set theory. With a historical introduction by Abraham A. Fraenkel (Q769897) (← links)
• Toward a systematic pragmatics (Q770284) (← links)
• The foundations of mathematics. A study in the philosophy of science (Q770676) (← links)
• Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957 (Q770786) (← links)
• The axiomatic method. With special reference to geometry and physics. Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957 -- January 4, 1958 (Q771295) (← links)
• Abstract set theory. Second, completely revised edition (Q773551) (← links)
• Aristotle's modal syllogisms (Q775347) (← links)
• Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint (Q786802) (← links)
• Topoi. The categorial analysis of logic. Rev. ed (Q786811) (← links)
• Southeast Asian conference on logic. Proceedings of the Logic Conference, Singapore, 1981 (Q788701) (← links)
• Algebra of proofs (Q788719) (← links)
• Set theory. An introduction to independence proofs. 2nd print (Q790108) (← links)
• Logic colloquium '82. Proceedings of the Colloquium held in Florence, 23- 28 August, 1982 (Q792970) (← links)
• Intensional mathematics (Q798616) (← links)
• The lambda calculus. Its syntax and semantics. Rev. ed. (Q801050) (← links)
• Relation algebras (Q868510) (← links)
• Residuated lattices. An algebraic glimpse at substructural logics (Q881452) (← links)
• Lectures on the Curry-Howard isomorphism (Q881453) (← links)
• Realizability. An introduction to its categorical side (Q1011333) (← links)
• Combinatorial set theory: Partition relations for cardinals (Q1062673) (← links)
• Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing (Q1064325) (← links)
• Cylindric algebras. Part II (Q1064326) (← links)
• Equivalents of the axiom of choice. 2nd ed (Q1068821) (← links)
• Logic colloquium '84. Proceedings of the Colloquium held in Manchester, U.K., July 1984 (Q1072524) (← links)
• Harvey Friedman's research on the foundations of mathematics (Q1073004) (← links)
• Logic, methodology and philosophy of science VII. Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983 (Q1074555) (← links)
• Theory of relations. Transl. from the French by P. Clote (Q1076017) (← links)
• Fundamentals of generalized recursion theory (Q1078561) (← links)
• Proof theory. 2nd ed (Q1086559) (← links)
• The Paris Logic Group (ed.): Logic colloquium '85. Proceedings of the Colloquium held in Orsay, France, July 1985 (Q1087530) (← links)
• Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged (Q1087535) (← links)
• Foundations of set theory. With the collab. of Dirk van Dalen. 2nd rev. ed. Reprint (Q1091389) (← links)
• Introduction to model theory and to the metamathematics of algebra. 2nd ed. (2nd print.). (With a preface by H. Jerome Keisler) (Q1115855) (← links)
• Computer programming and formal systems (Q1130614) (← links)
• The logical systems of Lesniewski (Q1131242) (← links)
• Mathematical logic in Latin America. Proceedings of the IV Latin American symposium on mathematical logic, held in Santiago, December 1978 (Q1132072) (← links)
• Logic colloquium '78. Proceedings of the colloquium held in Mons, August 1978. (Q1134127) (← links)
• Word problems II. The Oxford book (Q1134128) (← links)
• Foundational studies. Selected works. Vol. I, II (Q1135280) (← links)
• Logic colloquium '77. Proceedings of the colloquium held in Wroclaw, August 1977 (Q1135820) (← links)
• Descriptive set theory (Q1139038) (← links)