Search Results - logic

The lambda calculus: its syntax and semantics / by Barendregt, H. P. (Hendrik Pieter)

“…Studies in logic and the foundations of mathematics ;…”

Constructivism in mathematics: an introduction / by Troelstra, A. S. (Anne Sjerp)

“…Studies in logic and the foundations of mathematics ;…”

Constructivism in mathematics : an introduction. by Troelstra, A. S. (Anne Sjerp)

“…Studies in logic and the foundations of mathematics ;…”

Set theory / by Kuratowski, Kazimierz

“…Studies in logic and the foundations of mathematics.…”

Equivalents of the axiom of choice / by Rubin, Herman

“…Studies in logic and the foundations of mathematics.…”

The art of Prolog : advanced programming techniques / by Sterling, Leon

“…MIT Press series in logic programming…”

Formal number theory and computability a workbook by Fisher, Alec

“…Oxford logic guides…”

Set theory : an introduction to large cardinals / by Drake, Frank R.

“…Studies in logic and the foundations of mathematics ; vol. 76…”

Mathematics for the analysis of algorithms / by Greene, Daniel H.

“…Progress in computer science and applied logic ; vol. 1…”

[Report and results from Papua New Guinea]

Report and results from Papua New Guinea

Introductory readings in expert systems

Table of Contents: “…Barber -- Fundamentals of machine-oriented deductive logic / J.A. Robinson -- An introduction to logic programming / K. …”

The foundations of analysis a straightforward introduction by Binmore, K. G., 1940-

Table of Contents: “…Contents: Book 1. Logic, sets, and numbers.--Book 2. Topological ideas…”

Fundamentals of computing /

Table of Contents: “…v. 1. Logic, problem solving, programs, and computers -- v. 2. …”

Essential mathematics for software engineers /

Table of Contents: “…v.1 Block 1: The software crisis. Block 2: Sets and logic. Block 3: Functions -- v.2 Block 4: Recursion and lists. …”

Microprocessor systems design / by Klingman, Edwin E., 1946-

Writing a personal imaginative essay.

A treatise on general sociology / by Pareto, Vilfredo

Table of Contents: “…Four volumes bound as two. v. 1. Non-logical conduct--v. 2. Theory of residues--v. 3. Theory of derivations--v. 4.The general form of society.…”