Gallier, Jean H..
Logic for Computer Science: Foundations of Automatic theorem proving / - New York 10158 : John Wiley & Sons, Inc. , 1982 - xiii,511p ;
0 471 61546 3
Mathematical symbolic
BV / M7;1
Logic for Computer Science: Foundations of Automatic theorem proving / - New York 10158 : John Wiley & Sons, Inc. , 1982 - xiii,511p ;
0 471 61546 3
Mathematical symbolic
BV / M7;1