Catalog
Search
Search results
Show more results
Contact us
0-800-335-425
Free of charge within Ukraine
7 days a week, 09:00-20:00
Chat on site
Telegram
Viber
Call manager
Send an email
Books
Science and Technology
Mathematics
Foundations of mathematics. Number theory. Mathematical logic
Foundations of mathematics. Number theory. Mathematical logic
Book
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition
Jean Gallier
Product code:
20437396
Books
Science and Technology
Mathematics
Foundations of mathematics. Number theory. Mathematical logic
Foundations of mathematics. Number theory. Mathematical logic
Book
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition
Jean Gallier
Product code:
20437396
Format
To the waiting list
Book language
Publisher
Year of publication
Category
Foundations of mathematics. Number theory. Mathematical logic
Details
Author
Jean Gallier
Publisher
Dover Publications / Dover Publications /
Number of pages
544
Published
2015
Language
English
Illustrations
Not illustrated
Book type
Printed
Binding
Paperback
Weight
748
Series
Dover Books on Computer Science
ISBN
9780486780825
Dimensions
21x235x158 мм
Compare size
Code
20437396
Show all
Reviews
Leave review
Do you have any questions?
0-800-335-425
Contact us
Not available
•
Printed book
Download
To the waiting list
