Liknande böcker

Isabelle
Bok av Lawrence C. Paulson
Category Theory and Computer Science : 7th International Conference, CTC...
Bok av Eugenio Moggi
Logic Programming and Knowledge Representation
Bok av Jurgen Dix
Logic and Information Flow
Bok
Gdel '96 : Logical Foundations of Mathematics, Computer Science and Phys...
Bok av Petr Hjek
Proceedings Of The Sixth Asian Logic Conference
Bok av CHONG CHI TAT ET AL
COLOG-88
Bok av Per Martin-Lof
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, Apr...
Bok av Bruno Buchberger

Topology via Logic

Bok av Steven Vickers