| 1.
図書 |
図書
|
Association for Symbolic Logic
|
||||||
| 2.
雑誌 |
雑誌
|
Association for Symbolic Logic
|
||||||
| 3.
雑誌 |
雑誌
|
Association for Symbolic Logic
|
||||||
| 4.
図書 |
|
edited by Leon Henkin ... [et al.]
|
||||||
| 5.
図書 |
|
ed. by J. E. Fenstad
|
||||||
| 6.
図書 |
図書
|
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
|
||||||
| 7.
雑誌 |
雑誌
|
Symposium on Logic in Computer Science
|
||||||
| 8.
図書 |
図書
|
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
|
||||||
| 9.
図書 |
図書
|
Edited by J.W. Addison, Léon Henkin [and] Alfred Tarski
|
||||||
| 10.
図書 |
図書
|
edited by Hugues Leblanc
|
