𝔖 Bobbio Scriptorium
✦   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

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On the np-completeness of certain networ
✍ 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