Home / Authors / Jean H. Gallier

Books by Jean H. Gallier

All books by this author

2 books found
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Logic for Computer Science: Foundations of Automatic Theore…
By: Jean H. Gallier
View Details
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition: (Dover Books on Computer Science)
Logic for Computer Science: Foundations of Automatic Theore…
By: Jean H. Gallier
View Details