close
1.

電子ブック

EB
Association for Symbolic Logic
出版情報: Berlin ; New York : Springer-Verlag
所蔵情報: loading…
2.

雑誌

雑誌
Association for Symbolic Logic
出版情報: Champaign, Ill. : Association for Symbolic Logic, c1995-  v. ; 26 cm
巻次年月次: Vol. 1, no. 1 (Mar. 1995)-
所蔵情報: loading…
3.

図書

図書
ed. by J. E. Fenstad
出版情報: Amsterdam : North-Holland Pub. Co., 1971  405 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 63
所蔵情報: loading…
4.

図書

図書
edited by Leon Henkin ... [et al.]
出版情報: Providence : Published for the Association for Symbolic Logic by the American Mathematical Society, 1974  xx, 498 p. ; 26 cm
シリーズ名: Proceedings of symposia in pure mathematics ; v. 25
所蔵情報: loading…
5.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM Special Interest Group on Automata and Computability Theory, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from AT & T Research Bell Laboratories - Lucent Technologies DIMACS, IBM Almaden Research Center
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996  xv, 535 p. ; 28 cm
所蔵情報: loading…
6.

雑誌

雑誌
Symposium on Logic in Computer Science
出版情報: Washington, D.C. : IEEE Computer Society Press, c1986-  v. ; 28 cm
巻次年月次: 1st (1986)-
所蔵情報: loading…
7.

図書

図書
edited by Hugues Leblanc
出版情報: Amsterdam : North-Holland, 1973  [viii], 317 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 68
所蔵情報: loading…
8.

図書

図書
sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1986  xi, 383 p. ; 28 cm
所蔵情報: loading…
9.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, Association for Symbolic Logic, Europe Association for Theoretical Computer Science
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1992  xiii, 471 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing, CWI, Amsterdam, Vrije Universiteit, Amsterdam ; in cooperation with Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science
出版情報: Los Alamitos, CA. ; Tokyo : IEEE Computer Society Press, c1991  xvii, 417 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼