Logic for applications (2. ed.) - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Anil Nerode, Richard A. Shore. Logic for applications (2. ed.). Graduate texts in computer science, Springer, 1997.

@book{0086276,
  title = {Logic for applications (2. ed.)},
  author = {Anil Nerode and Richard A. Shore},
  year = {1997},
  tags = {logic},
  researchr = {https://researchr.org/publication/0086276},
  cites = {0},
  citedby = {0},
  series = {Graduate texts in computer science},
  publisher = {Springer},
  isbn = {978-0-387-94893-5},
}

runs on WebDSL