Author

Publication

1986-12-01 - Springer

Language

English

Word Count

111,000 words, Guess

Page Count

444 pages

Identifiers

  • ISBN-100387171878
  • ISBN-139780387171876
  • Goodreads1696400
  • Open LibraryOL7443779M

First Sentence

Programming in logic has been a fundamental theme in Computer Science theory and practice, ever since their early days, and is in large part motivated by the elegant and precise qualities of mathematical logic.

Subjects

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!