Author

Publication

1992 - Vieweg+Teubner Verlag

Word Count

64,750 words, Guess

Page Count

259 pages

Physical Format

Paperback

Identifiers

  • ISBN-103528147571
  • ISBN-139783528147570
  • Better World Books9783528147570
  • Open LibraryOL28255860M

Classifications

  • LCCQA75.5-76.95

Subjects

Other Editions

  • Formalisieren und Beweisen: Logik für InformatikerPaperbackVieweg+Teubner Verlag1992-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!