Знайдено результатів пошуку: 10.

Сортувати
Результати пошуку
An introduction to many-valued logics / by Robert Ackermann.

за Ackermann, Robert John, 1933-.

Вид матеріалу: Текст Текст Серія: Monographs in modern logic.Публікація: London : Routledge & Kegan Paul LtdNew York : Dover Publications Inc, 1967. Наявність: Доступні примірники: Сховище дослідницьке [Шифр зберігання: QA9.2 .A25 1967] (1).

The theory of logical types / Irving M. Copi.

за Copi, Irving M.

Вид матеріалу: Текст Текст Серія: Monographs in modern logic series.Публікація: London : Routledge & Kegan Paul, 1971. Наявність: Доступні примірники: Сховище дослідницьке [Шифр зберігання: BC199.T9 C67 1971] (1).

Truth-functional logic / J.A. Faric.

за Faris, J. A. John Acheson.

Вид матеріалу: Текст Текст Серія: Monographs in modern logic.Публікація: London : Routledge & Kegan Paul Ltd.New York : Dover Publications Inc., 1962. Наявність: Доступні примірники: Сховище дослідницьке [Шифр зберігання: BC171 .F37 1962] (1).

First-order functional calculus / by G.B. Keene.

за Keene, G. B. Geoffrey Bourton.

Вид матеріалу: Текст Текст Серія: Monographs in modern logic.Публікація: London : Routledge & Kegan Paul, 1964. Наявність: Доступні примірники: Сховище дослідницьке [Шифр зберігання: BC135 .K44 1964] (1).

Propositional calculus / by P.H. Nidditch.

за Nidditch, P. H.

Вид матеріалу: Текст Текст Серія: Monographs in modern logic.Публікація: London : Routledge & Kegan Paul LtdNew York : Dover Publications Inc., 1965. Наявність: Доступні примірники: Сховище дослідницьке [Шифр зберігання: BC135 .N53 1965] (1).

The logic of commands / Nicholas Rescher.

за Rescher, Nicholas.

Вид матеріалу: Текст Текст Серія: Monographs in modern logic.Публікація: London : Routledge & Kegan Paul LtdNew York : Dover Publications Inc., 1966. Наявність: Доступні примірники: Сховище дослідницьке [Шифр зберігання: BC199.C5 R47 1966] (1).

Axiomatics / by R. Blanch ̌; translated by G.B. Keene.

за Blanch,̌ R | Keene, G. B [tr.].

Вид матеріалу: Текст Текст Серія: Monographs in modern logic.Публікація: London : Routledge & Kegan Paul LtdNew York : Dover Publications Inc., 1966. Наявність: Доступні примірники: Сховище дослідницьке [Шифр зберігання: BC71 .B53 1966] (1).

Quantification theory / by J.A. Faris.

за Faris, J. A. John Acheson.

Вид матеріалу: Текст Текст Серія: Monographs in modern logic.Публікація: London : Routledge & Kegan Paul, 1964. Наявність: Доступні примірники: Сховище дослідницьке [Шифр зберігання: BC135 .F37 1964] (1).

Nondeductive inference / by Robert Ackermann.

за Ackermann, Robert John, 1933-.

Вид матеріалу: Текст Текст Серія: Monographs in modern logic.Публікація: London : Routledge & Kegan Paul LtdNew York : Dover Publications, 1966. Наявність: Доступні примірники: Сховище дослідницьке [Шифр зберігання: BC199.I47 A25 1966] (1).

The development of mathematical logic / P.H. Nidditch.

Вид матеріалу: Текст Текст Серія: Monographs in modern logic.Публікація: London : Routledge & Kegan Paul, 1963. Наявність: Доступні примірники: Сховище дослідницьке [Шифр зберігання: QA9.A1 N53 1963] (1).