Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures

, & (eds.)
Oxford, England: Clarendon Press (1992)
  Copy   BIBTEX

Abstract

This Handbook is a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas. The intended audience is graduate students and researchers in the areas of computing and logic, as well as other people interested in the subject. We assume as background some mathematical sophistication. Much of the material will also be of interest to logicians and mathematicians.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9780198537359   0198537352

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,435

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Logic and Random Structures: DIMACS Workshop, November 5-7, 1995.Ravi Bopu Boppana & Dimacs - 1997 - American Mathematical Soc..
Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01).C. S. Calude - 2001 - Springer.
CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings.Egon Börger, Hans Kleine Büning & Michael M. Richter - 1989 - Springer Verlag.
Proofs and types.Jean-Yves Girard - 1989 - New York: Cambridge University Press.
Handbook of the History and Philosophy of Logic Vol. 10: Inductive Logic.Dov M. Gabbay, Stephan Hartmann & John Woods (eds.) - 2011 - Elsevier.
Automata, Languages, and Programming: 16th International Colloquium, Stresa, Italy, July 11-15, 1989 : Proceedings.Giorgio Ausiello & Mariangiola Dezani-Ciancaglini - 1989 - Springer.
Computer Science Logic 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991 : Proceedings'.Egon Börger, Gerhard Jäger, Hans Kleine Büning & Michael M. Richter - 1992 - Springer Verlag.
Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil.Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999 - American Mathematical Soc..
Proceedings Symposium on Logic in Computer Science, Ithaca, New York, June 22-25, 1987 ; Sponsored by the Computer Society of the Ieee Technical Committee on Mathematical Foundations of Computing in Cooperation with Acm Sigact, Association for Symbolic Logic, European Association for Theoretical Computer Science.Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science, Ieee Computer Society & Special Interest Group for Automata and Computability Theory - 1987
Computer Science Logic: 8th Workshop, Csl '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers.Leszek Pacholski & Jerzy Tiuryn - 1995 - Springer Verlag.
Automata, Languages and Programming.Werner Kuich - 1992 - Springer.
Introductory Logic and Sets for Computer Scientists.Nimal Nissanke - 1999 - Addison Wesley Publishing Company.
Lambda calculus with types.H. P. Barendregt - 2013 - New York: Cambridge University Press. Edited by Wil Dekkers & Richard Statman.
Mathematical Logic: On Numbers, Sets, Structures, and Symmetry.Roman Kossak - 2018 - Cham, Switzerland: Springer Verlag.
Machinations: Computational Studies of Logic, Language, and Cognition.Richard Spencer-Smith, Steve Torrance & Stephen B. Torrance - 1992 - Intellect Books.

Analytics

Added to PP
2021-11-17

Downloads
12 (#1,071,530)

6 months
4 (#787,091)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references