Lecture Notes in Computer Science Ser.: Twenty Years of Theoretical and...

Foundations of Logic and Functional Programming : Workshop, Trento, Italy, 1986

Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science.

International Symposium on Programming Lecture notes in computer science ; Vol.

Programming methodology. Lecture notes in computer science ; 23 Hackl, Clemens E

The Metaphysical Foundations of Logic - 9780253207647

Applications of Uncertainty Formalisms (Lecture Notes in Computer Science, 1455

Logics of Programs. Proceedings 1983. ( = Lecture Notes in Computer Science, 164