Save 40% on books and eBooks in Engineering & Materials Science or in Social & Behavioral Sciences!

Lehrbuch Informatik

Formalisieren und Beweisen

Logik für Informatiker

Authors: Siefkes, Dirk

Free Preview

Buy this book

eBook $49.99
price for USA in USD (gross)
  • ISBN 978-3-322-85621-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
  • ISBN 978-3-528-04757-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (13 chapters)

Table of contents (13 chapters)

Buy this book

eBook $49.99
price for USA in USD (gross)
  • ISBN 978-3-322-85621-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
  • ISBN 978-3-528-04757-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formalisieren und Beweisen
Book Subtitle
Logik für Informatiker
Authors
Series Title
Lehrbuch Informatik
Copyright
1990
Publisher
Vieweg+Teubner Verlag
Copyright Holder
Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig
eBook ISBN
978-3-322-85621-0
DOI
10.1007/978-3-322-85621-0
Softcover ISBN
978-3-528-04757-3
Edition Number
1
Number of Pages
XIII, 262
Topics