Search Results - "logic"

Schaum's outline of theory and problems of discrete mathematics / by Lipschutz, Seymour

Subjects:

Electronic circuits manual : over 3,100 modern electronic circuits, complete with values of all parts, organized in 99 logical chapters for quick reference and convenient browsing / by Markus, John, 1911-

The provenance of pure reason : essays in the philosophy of mathematics and its history / by Tait, William

“…Logic and computation in philosophy…”

Cantorian set theory and limitation of size / by Hallett, Michael, 1930-

“…Oxford logic guides ;…”

Introduction to axiomatic set theory / by Lemmon, E. J.

“…Monographs in modern logic…”

Equivalents of the axiom of choice, II by Rubin, Herman

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

Foundations of set theory / by Fraenkel, Abraham Adolf, 1891-1965

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

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

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…”

Introductory readings in expert systems

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