اكتشف مناهل المعرفة!

The foundations of mathematics /

Foundations : essays in philosophy, logic, mathematics and economics /

A transition to abstract mathematics : mathematical thinking and writing /

Introduction to mathematical proof : a transition to advanced mathematics /

Foundation mathematics for technicians /

Transition to higher mathematics : structure and proof /

Foundation mathematics for the physical sciences /

Model building in mathematical programming /

Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 /

Four-Figure mathematical tables \

Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 /

Mathematical proofs : a transition to advanced mathematics /

Methods of applied mathematics /

An introduction to formal languages and automata /

Machines, languages, and computation /

An introduction to formal languages and automata /

The mathematical principles of quantum mechanics /

Concrete mathematics : a foundation for computer science /

Secondary mathematics teacher education programs in Saudi Arabia/

Mathematical methods for physicists : a comprehensive guide /

An introduction to formal languages and automata /

Languages and machines : an introduction to the theory of computer science /

Machines, languages, and computation /

Introduction to formal languages /

Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977 /

An extended abstract data type specification mechanism /

Introduction to automata theory, languages, and computation/

Mathematical foundations of programming /

Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 /

An introduction to formal languages and automata /

Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979 /

Introduction to automata theory, languages, and computation /

Dictionary of logical terms and symbols /

Word and object /

Introduction to mathematical proof : a transition to advanced mathematics /

Transition to higher mathematics : structure and proof /

Symbolic logic /

Logic and knowledge : essays, 1901-1950 /

The foundations of mathematics /

A transition to abstract mathematics : mathematical thinking and writing /

Foundations : essays in philosophy, logic, mathematics and economics /

Schaums outline of theory and problems of discrete mathematics/

First-order dynamic logic /

The logic of knowledge bases /

Mathematical foundations of programming /

Primality tests and their applications /

Discrete structures, logic, and computability /

Mathematical foundations of programming /