✦ LIBER ✦

On the Consistency of Certain Logical Calculusby P. S. Novikoff

✍ Scribed by Review by: Alonzo Church

Book ID: 124945761
Publisher: Association for Symbolic Logic
Year: 1946
Tongue: English
Weight: 523 KB
Volume: 11
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2268324

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Consistency of Some Logical Calcu

On the Consistency of Some Logical Calculiby P. S. Novikov

✍ Review by: Andrzej Mostowski 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 97 KB

On the Consistency of a Three-Valued Log

On the Consistency of a Three-Valued Logical Calculusby D. A. Bočvar (D. A. Bochvar)

✍ Review by: Wanda Szmielew 📂 Article 📅 1946 🏛 Association for Symbolic Logic 🌐 English ⚖ 203 KB

A Note on P.G. Naiditch's "The Names of

A Note on P.G. Naiditch's "The Names of Certain British Scholars"

✍ Michele Valerie Ronnick 📂 Article 📅 1994 🏛 Classical Association of the Middle West and South 🌐 English ⚖ 126 KB

On the Minimum Logical Complexity Requir

On the Minimum Logical Complexity Required for a General Purpose Computer

✍ Frankel, S. P. 📂 Article 📅 1958 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 845 KB

On the logical and circuit design of the

On the logical and circuit design of the digital computer at T.I.F.R., Bombay

✍ Basu, B. K. ;Srivastava, S. P. 📂 Article 📅 1961 🏛 Springer-Verlag 🌐 English ⚖ 613 KB

On the np-completeness of certain networ

On the np-completeness of certain network testing problems

✍ S. Even; O. Goldreich; S. Moran; P. Tong 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 946 KB

Let G ( V , E) be an undirected graph which describes the structure of a communication network. During the maintenance period every line must be tested in each of the two possible directions. A line is tested by assigning one of its endpoints t o be a transmitter, the other to be a receiver, and sen