Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Author: #Association for Symbolic Logic)
Results:10items
The Journal of symbolic logic / Association for Symbolic Logic
Vol. 1, no. 1 (Mar. 1936)-. - Menasha, Wis. : Association for Symbolic Logic, Inc. , 1936-
Journals
The bulletin of symbolic logic
Vol. 1, no. 1 (Mar. 1995)-. - Champaign, Ill. : Association for Symbolic Logic , c1995-
Proceedings of the Second Scandinavian Logic Symposium / Ed. by J. E. Fenstad.
v. 63. - Amsterdam : North-Holland , 1971. - (Studies in logic and the foundations of mathematics ; v. 63)
Books
Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics / edited by Hugues Leblanc
Amsterdam : North-Holland , 1973. - (Studies in logic and the foundations of mathematics ; v. 68)
Proceedings of the Summer School in Logic, Leeds, 1967; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic / Edited by M.H. LK̄b.
70. - Berlin : Springer , 1968. - (Lecture notes in mathematics ; 70)
Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday / edited by Leon Henkin ... [et al.]
Providence : Published for the Association for Symbolic Logic by the American Mathematical Society , 1974. - (Proceedings of symposia in pure mathematics ; v. 25)
Proceedings / Edited by Leon Henkin and [others]
Providence : Published for the Association for Symbolic Logic by American Mathematical Society , 1974. - (Proceedings of symposia in pure mathematics. ISSN:00820717 (print) ; v. 25)
E-Book
Recursion theory / [edited by Anil Nerode, Richard A. Shore]
Providence, R.I : American Mathematical Society , 1985. - (Proceedings of symposia in pure mathematics. ISSN:00820717 (print) ; v. 42)
Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic / edited by D. van Dalen, D. Lascar, T.J. Smiley
Amsterdam ; New York : North-Holland Pub. Co. - New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. , 1982. - (Studies in logic and the foundations of mathematics ; v. 108)
Logic Colloquium '69; proceedings of the Summer School and {fourteenth} Colloquium in Mathematical Logic, Manchester, August 1969 / Edited by R.O. Gandy and C.M.E. Yates.
v. 61. - Amsterdam : North-Holland , 1971. - (Studies in logic and the foundations of mathematics ; v. 61)