Handbook of Logic and Proof Techniques for Computer Science
Heftet /
2012
/ Engelsk
Product details
ISBN
9781461266198
Published
2012-10-23
Publisher
Springer-Verlag New York Inc.
Height
235 mm
Width
155 mm
Age
Professional/practitioner, P, 06
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
19
Author
"This is really what it promises to be-a good handbook: supple, self-contained, providing the necessary and sufficient working resources ... it is more than [one] expect[s]: the rigor of usefulness and conciseness exceeds or equals ... the pleasure of reading it." -Zentralblatt Math
Logic is, and should be, the core subject area of modern mathemat ics. There is need for a book that introduces important logic terminology and concepts to the working mathematical scientist who has only a passing acquaintance with logic.
Read more
Springer Book Archives
Springer Book Archives
GPSR Compliance
The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this.
If you have any concerns about our products you can contact us on ProductSafety@springernature.com.
In case Publisher is established outside the EU, the EU authorized representative is:
Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg, Germany
ProductSafety@springernature.com
Read more
Product details
ISBN
9781461266198
Published
2012-10-23
Publisher
Springer-Verlag New York Inc.
Height
235 mm
Width
155 mm
Age
Professional/practitioner, P, 06
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
19
Author