年 〜
年

検索結果 331 件

Logical frameworks for truth and abstraction : an axiomatic study / Andrea Cantini. (Studies in logic and the foundations of mathematics ; v. 135)

Logical frameworks for truth and abstraction : an axiomatic study / Andrea Cantini. (Studies in logic and the foundations of mathematics ; v. 135)
紙図書
Elsevier Science B.V.1996.<MA41-A102>
国立国会図書館

Hausdorff gaps and limits / Ryszard Frankiewicz, Paweł Zbierski. (Studies in logic and the foundations of mathematics ; v. 132)

Hausdorff gaps and limits / Ryszard Frankiewicz, Paweł Zbierski. (Studies in logic and the foundations of mathematics ; v. 132)
紙図書
North-Holland1994.<MA81-A105>
国立国会図書館

Selected papers on Automath / edited by R.P. Nederpelt ... [et al.]. (Studies in logic and the foundations of mathematics ; v. 133)

Selected papers on Automath / edited by R.P. Nederpelt ... [et al.]. (Studies in logic and the foundations of mathematics ; v. 133)
紙図書
Elsevier1994.<MA41-A92>
国立国会図書館

Recursive functionals / Luis E. Sanchis. (Studies in logic and the foundations of mathematics ; v. 131)

Recursive functionals / Luis E. Sanchis. (Studies in logic and the foundations of mathematics ; v. 131)
紙図書
North-Hollandc1992.<MA41-A80>
国立国会図書館

Language in action : categories, lambdas and dynamic logic / Johan van Benthem. (Studies in logic and the foundations of mathematics ; vol. 130)

Language in action : categories, lambdas and dynamic logic / Johan van Benthem. (Studies in logic and the foundations of mathematics ; vol. 130)
紙図書
North-Holland1991.<MA41-A76>
国立国会図書館

Computability, complexity, logic / E. Börger. (Studies in logic and the foundations of mathematics ; v. 128)

Computability, complexity, logic / E. Börger. (Studies in logic and the foundations of mathematics ; v. 128)
紙図書
North-Holland1989.<MA41-A61>
国立国会図書館

Model theory / C.C. Chang and H.J. Keisler. 3rd ed. (Studies in logic and the foundation of mathematics ; v. 73)

Model theory / C.C. Chang and H.J. Keisler. 3rd ed. (Studies in logic and the foundation of mathematics ; v. 73)
紙図書
North-Holland1990.<MA41-A68>
国立国会図書館全国の図書館

Classification theory and the number of non-isomorphic models / S. Shelah. Rev. ed. (Studies in logic and the foundations of mathematics ; v. 92)

Classification theory and the number of non-isomorphic models / S. Shelah. Rev. ed. (Studies in logic and the foundations of mathematics ; v. 92)
紙図書
North-Holland1990.<MA41-A73>
国立国会図書館

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/ edited by Dag Prawitz, Brian Skyrms, Dag Westerståhl. (Studies in logic and the foundations of mathematics ; v. 134)

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/ edited by Dag Prawitz, Brian Skyrms, Dag Westerståhl. (Studies in logic and the foundations of mathematics ; v. 134)
紙図書
Elsevier1994.<M15-A9669>
国立国会図書館

Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi. (Studies in logic and the foundations of mathematics ; v. 125)

Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi. (Studies in logic and the foundations of mathematics ; v. 125)
紙図書
North-Holland1989.<MA41-A57>
国立国会図書館

Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen. (Studies in logic and the foundations of mathematics ; v. 121, 123)

Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen. (Studies in logic and the foundations of mathematics ; v. 121, 123)
紙図書
North-Holland1988.<MA41-A41>
国立国会図書館

Logic Colloquium '88 : proceedings of the colloquium held in Padova, Italy, August 22-31, 1988 / edited by R. Ferro ... [et al.]. (Studies in logic and the foundations of mathematics)

Logic Colloquium '88 : proceedings of the colloquium held in Padova, Italy, August 22-31, 1988 / edited by R. Ferro ... [et al.]. (Studies in logic and the foundations of mathematics)
紙図書
North-Holland1989.<M15-A5468>
国立国会図書館

Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain July 20-25, 1987 / edited by H.-D. Ebbinghaus ... [et al.]. (Studies in logic and the foundations of mathematics)

Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain July 20-25, 1987 / edited by H.-D. Ebbinghaus ... [et al.]. (Studies in logic and the foundations of mathematics)
紙図書
North-Holland1989.<M15-A5469>
国立国会図書館

Intensional mathematics / edited by Stewart Shapiro. (Studies in logic and the foundations of mathematics ; v. 113)

Intensional mathematics / edited by Stewart Shapiro. (Studies in logic and the foundations of mathematics ; v. 113)
紙図書
North-Holland1985.<MA41-A37>
国立国会図書館

Theory of relations / R. Fraïssé ; [translated by P. Clote]. (Studies in logic and the foundations of mathematics ; v. 118)

Theory of relations / R. Fraïssé ; [translated by P. Clote]. (Studies in logic and the foundations of mathematics ; v. 118)
紙図書
North-Holland1986.<MA41-205>
国立国会図書館

Foundations of infinitesimal stochastic analysis / K.D. Stroyan and José Manuel Bayod. (Studies in logic and the foundations of mathematics ; v. 119)

Foundations of infinitesimal stochastic analysis / K.D. Stroyan and José Manuel Bayod. (Studies in logic and the foundations of mathematics ; v. 119)
紙図書
North-Holland1986.<MA211-246>
国立国会図書館

Cylindric algebras. [By] Leon Henkin, J. Donald Monk [and] Alfred Tarski. (Studies in logic and the foundations of mathematics ; v. 64, 115)

Cylindric algebras. [By] Leon Henkin, J. Donald Monk [and] Alfred Tarski. (Studies in logic and the foundations of mathematics ; v. 64, 115)
紙図書
North-Holland Pub. Co.1971-1985.<MA41-30>
国立国会図書館

Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985 / edited by the Paris Logic Group. (Studies in logic and the foundations of mathematics ; v. 122)

Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985 / edited by the Paris Logic Group. (Studies in logic and the foundations of mathematics ; v. 122)
紙図書
North-Holland1987.<M15-A3530>
国立国会図書館

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K., July 13-19, 1986 / edited by F.R. Drake and J.K. Truss. (Studies in logic and the foundations of mathematics ; v. 124)

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K., July 13-19, 1986 / edited by F.R. Drake and J.K. Truss. (Studies in logic and the foundations of mathematics ; v. 124)
紙図書
North Holland1988.<M15-A3134>
国立国会図書館

Logic, methodology and philosophy of science VIII : proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987 / edited by Jens Erik Fenstad, Ivan T. Frolov, Risto Hilpinen. (Studies in logic and the foundations of mathematics ; v. 126)

Logic, methodology and philosophy of science VIII : proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987 / edited by Jens Erik Fenstad, Ivan T. Frolov, Risto Hilpinen. (Studies in logic and the foundations of mathematics ; v. 126)
紙図書
North-Holland1989.<M15-A5463>
国立国会図書館