029945267
1990-05-09
2020-03-04T05:01:36
World guide to sci. ass., 4e éd.. LCNA, 1985
Internet, aslonline.org, 2013-07-22 : "founded in 1936"
12146316
0000000109439130
Association for symbolic logic
ASL
Association for symbolic logic
1936
1936
Association américaine, elle est de stature internationale et possède des branches à l'étranger (ex. European branch)
Adresse : Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie NY USA 12604
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss / Cambridge : Cambridge University Press , 1999
Logic colloquium 2005 : proceedings of the annual european summer meeting of the Association for symbolic logic, held in Athens, Greece, July 28-August 3, 2005 / edited by Costas Dimitracopoulos, Ludomir Newelski, Dag Normann, [et al.] / Cambridge : Cambridge university press , cop. 2008, cop. 2008
Proceedings of the Tarski symposium : [...]held to honour Alfred Tarski on the occasion of his seventieth birthsday / Ed. by Leon Henkin [et al...] / Providence (R.I.) : American Mathematical Society , 2012
Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963 / edited by J. N. Crossley,... and M. A. E. Dummett,... / Amsterdam : North-Holland , 1965
Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / Walter A. Carnielli and Luiz Paulo de Alcantara, editors / Providence (R.I.) : American Mathematical Society , 2012
The theory of models : proceedings of the 1963 International symposium at Berkeley / edited by J. W. Addison,... Leon Henkin,... Alfred Tarski,... / Amsterdam : North-Holland , 1965
Logic colloquium '98 : proceedings of the annual European summer meeting of the Association for symbolic logic, held in Prague, Czech Republic, August 9-15, 1998 / Edited by Samuel R. Buss,... Petr Hájek,... Pavel Pudlák,... / Urbana, Ill. : Association for symbolic logic
Truth, syntax and modality : proceedings of the Temple University conference on alternative semantics [held at Philadelphia, Pa, the 29th and 30th of December, 1970] / edited by Hughes Leblanc,... / Amsterdam : North-Holland , 1973
Logic colloquium '03 : proceedings of the annual European summer meeting of the Association for symbolic logic, held in Helsinki, Finland, August 14-20, 2003 / edited by Viggo Stoltenberg-Hansen, ... Jouko Väänänen, ... / La Jolla (Calif.) : Association for symbolic logic , cop. 2006
Proceedings of the Summer school in logic, Leeds, 1967 : NATO Advanced study institute, meeting of the Association for symbolic logic / edited by M. H. Löb,... / Berlin : Springer-Verlag , 1968, cop. 1968
Logic colloquium '99 : proceedings of the annual European summer meeting of the Association for symbolic logic, held in Utrecht, Netherlands, august 1-6, 1999 / edited by Jan van Eijck,... Vincent van Oostrom,... Albert Visser,... / Urbana (Ill.) : Association for symbolic logic , cop. 2004
Recursion theory / [edited by Anil Nerode, Richard A. Shore] / Providence, R.I. : American Mathematical Society , cop. 1985
Logic colloquium '02 : proceedings of the annual European summer meeting of the Association for symbolic logic and the colloquium logicum, held in Münster, Germany, August 3-11, 2002 / edited by Zoé Chatzidakis,... Peter Koepke,... Wolfram Pohlers,... / La Jolla (Calif.) : Association for symbolic logic , cop. 2006
Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / Walter A. Carnielli and Luiz Paulo de Alcantara, editors / Providence (R.I.) : American Mathematical Society
Proceedings of the Summer school in logic, Leeds, 1967 : NATO Advanced study institute, meeting of the Association for symbolic logic / edited by M. H. Löb,... / Berlin [etc.] : Springer , [201. ?]
Recursion theory / [edited by Anil Nerode, Richard A. Shore] / Providence (R.I.) : American Mathematical Society , 2012
Proceedings of the Tarski symposium : [...]held to honour Alfred Tarski on the occasion of his seventieth birthsday / Ed. by Leon Henkin [et al...] / Providence, R.I. : American Mathematical Society , 1974
The Journal of symbolic logic [Ressource électronique] / Association for symbolic logic / Poughkeepsie, N.Y. : Association for Symbolic Logic , [20..]-
The bulletin of symbolic logic [Ressource électronique] / Association for symbolic logic / Champaign, Ill. : Association for Symbolic Logic , [199.]-
Journal of philosophical logic / Dordrecht : D. Reidel , 1972-
Journal of philosophical logic / Dordrecht : Kluwer , 2002-
Annals of pure and applied logic [Ressource électronique] / managing ed. I. Moerdijk, S. N Artemov, J.-Y. Girard... [et al.] / [Amsterdam] : Elsevier , 199?-
The Bulletin of symbolic logic / published quarterly by the Association for Symbolic Logic / Champaign, Ill. : Association for Symbolic Logic , 1995-
Proceedings of the Second Scandinavian Logic Symposium : [held at the University of Oslo. June 18-20, 1970] / ed. by Jens Erik Fenstad,... / Amsterdam : North-Holland Publishing Company , 1971
The Journal of symbolic logic / published quarterly by the Association for Symbolic Logic / Menasha, Wis. : Association for Symbolic Logic , 1936-
[IUHPS 103.8.6] "ASL" (Juin-août 1967) / 14 feuillets
Proceedings : symposium on logic in computer science, Cambridge, Massachusetts, June 16-18, 1986 / 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, DC : IEEE computer society press , cop. 1986
Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science : June 4-7, 1990, Philadelphia, PA / sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Computing Machinery-SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science / Los Alamitos, CA : IEEE Computer Society Press , cop. 1990
The Theory of models : proceedings of the 1963 International symposium at Berkeley, from June 25 to July 11, 1963 / edited by J.W. Addison, Leon Henkin, Alfred Tarski / 3rd print / Amsterdam : North-Holland , 1972
Collected works Volume IV, Correspondence A-G / Kurt Gödel ; edited by Solomon Feferman, John W. Dawson, Jr. (editors-in-chief), Warren Goldfarb... [et al.] ; prepared under the auspices of the Association for symbolic logic / Oxford : Clarendon Press , 2003
Collected works [Texte imprimé] / Kurt Gödel ; ed. by Solomon Feferman,... John W. Dawson, Jr. Stephen C. Kleene, Gregory H. Moore ... prepared under the auspices of the Association for symbolic logic / New York : Oxford university press , 1986-
Proofs and computations / Helmut Schwichtenberg,... Stanley S. Wainer,... / Ithaca, NY : Association for Symbolic Logic , 2012, cop. 2012
Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss / Cambridge, U.K. : Cambridge University Press , 1999
Collected works Volume III, Unpublished essays and lectures / Kurt Gödel ; edited by Solomon Feferman (editor-in-chief), John W. Dawson Jr., Warren Goldfarb... [et al.] ; prepared under the auspices of the Association for symbolic logic / New York : Oxford University press , 1995
Collected works / Kurt Gödel ; edited by Solomon Feferman (editor-in-chief)... [et al.] / Oxford [Oxfordshire] : Clarendon Press , 1986-1990
Proceedings / Symposium on Logic in Computer Science / Washington, D.C : IEEE Computer Society Press , 1986-
Collected works III, Unpublished essays and lectures / Kurt Gödel ; edited by Solomon Feferman [...] ; John W. Dawson, Jr., Warren Goldfarb, Charles Parsons... [et al.] ; prepared under the auspices of the Association for symbolic logic / Oxford : Oxford University press , 2001
12th Annual IEEE Symposium on Logic in Computer Science : proceedings, June 29 - July 2, 1997, Warsaw Poland / organized by Warsaw University ; sponsored by IEEE Technical Committee on Mathematical Foundations of Computing IEEE Computer Society ; in cooperation with the Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery, The Association for Symbolic Logic, The European Association for Theoretical Computer Science / Los Alamitos (Calif.) : IEEE Computer Society , c1997
Logic Colloquium '90 : ASL Summer Meeting in Helsinski / J. Oikkonen, J. Väänänen, eds / Berlin : Springer , cop. 1993
Models and sets Part I, : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 / ed. by G. H. Müller and M. M. Richter / Berlin [etc.] : Springer-Verlag , 1984
Collected works Volume V, Correspondence H-Z / Kurt Gödel ; edited by Solomon Feferman, John W. Dawson (editors-in-chief), Warren Goldfarb... [et al.] ; prepared under the auspices of the Association for symbolic logic / Oxford : Clarendon Press , 2003
Structure of language and its mathematical aspects : [proceedings of the twelfth Symposium in Applied Mathematics, held in New York City, April 14-15, 1960] / [sponsored by American Mathematical Society, Association for Symbolic Logic, Linguistic Society of America] ; [Roman Jakobson ed.] / Providence (R.I.) : American Mathematical Society , 1961, cop. 1961
Logic Colloquium '90 : proceedings of the annual European summer meeting of the Association for symbolic logic, held in Helsinki, Finland, July 15-22, 1990 / edited by J. Oikkonen,... J. Väänänen,... / Urbana (Ill.) : Association for symbolic logic , 2001, cop. 1993
The review of symbolic logic / Cambridge : Cambridge University Press , cop. 2008-