Logic and computational complexity international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers

Higher order logic theorem proving and its applications 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

The logic of partial information with 160 figures מאת Nait Abdallah, Areski 1950-

Propositional logics מאת Epstein, Richard L. 1947-

The bulletin of symbolic logic.

Available for UP System via Cambridge Core.

Infinity and the mind the science and philosophy of the infinite מאת Rucker, Rudy v.B. (Rudy von Bitter) 1946-

An introduction to mathematical logic / Richard E. Hodel. מאת Hodel, Richard E.

Grammatical inference and applications second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings

Foundations of computing system development with set theory and logic מאת Scheurer, Thierry

Logic and information flow

קבל טקסט מלא
קבל טקסט מלא