Computer science logic

Name: Computer science logic
Author: Egon Borger, G. Jager, H. Kleine Buning

by Egon Borger, G. Jager, H. Kleine Buning

No description available.

CongressesInformatikSymbolic and mathematical LogicComputer scienceLogikMathematicsMatematikai logikaKonferenciaFormális logikaInformatiqueCongrèsMathématiques