Ihre Suche nach Logik (Mathematik)

Lambda Calculus

Finite and Infinite Sets

Patras Logic Symposium

Fuzzy Automata and Decision Processes

Introduction to Elementary Mathematical Logic

Grammars for Programming Languages

Logic Colloquium: Herbrand Symposium Proceedings

Theory of Deductive Systems and Its Applications

Philosophy of Mathematics and Deductive Structure in Euclid's "Elements"

Descriptive Set Theory

Proof in Mathematics and Probability

Entailment, Vol. I

Elements of Combinatory Logic

Boolean Functions and Equations

Eurocal '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings

Fundamentals of Computation Theory

Rewriting Techniques and Applications

Sets

The Education of T. C. Mits

Foundations of Constructive Mathematics