Yiannis N. Moschovakis

Cambridge University Press 2019 Lecture notes in logic 48

Available at 8 libraries

Helmut Schwichtenberg, Stanley S. Wainer

Cambridge University Press 2012 Perspectives in logic

Available at 14 libraries

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science

IEEE Computer Society c2008

Available at 3 libraries

edited by Jan van Eijck, Vincent van Oostrom, Albert Visser

A K Peters c2004 Lecture notes in logic 17

: pbk

Available at 11 libraries

edited by S. Barry Cooper, John K. Truss

Cambridge University Press 1999 London Mathematical Society lecture note series 259

Available at 70 libraries

organized by Warsaw University ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; 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 ; with support from BRICS, University of Aarhus ... [et. al]

IEEE Computer Society Press c1997

: paper , : case , : microfiche

Available at 19 libraries

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

IEEE Computer Society Press c1996

: soft , : case , : microfiche

Available at 15 libraries

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

IEEE Computer Society Press c1991

: paper , : case , : microfiche

Available at 14 libraries

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

IEEE Computer Society Press , Order from IEEE Computer Society c1986

pbk. , microfiche

Available at 6 libraries