The M-Valued Calculus of Non-Contradiction.
Arithmetical Problems and Recursively Enumerable Predicates.
Arithmetic with Creative Definitions by Induction.
Certain Predicates Defined by Induction Schemata.
Discussion on Dr. A.M. Uttley's paper 'Information, Machines, and Brains'.
Quantal aspects of scientific information.
Entropy, time and information (Introduction to discussion).
Systems of Transfinite Types Involving lambda-Conversion.
On omega;-Inconsistency and a So-Called Axiom of Infinity.
Systems of Modal Logic Which are Not Unreasonable in the Sense of Hallden.
Discussion on Mr. P.M. Woodward's paper on 'Theory of Radar Information'.
On Propositions Neither Necessary Nor Impossible.
Discussion on Dr. Gabor's Paper on 'Communication Theory and Physics'.
Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma from the Viewpoint of the Hierarchy of Types.
Discussion on Dr. W.E. Hick's paper 'Information Theory in Psychology'.
Strict Implication, Deducibility and the Deduction Theorem.
Communication theory, past, present and prospective.
Discussion on Dr. D.K.C. Macdonald's paper on 'Fluctuations and the theory of noise'.
Criteria of Constructibility for Real Numbers.
The statistical approach to the analysis of time-series.
Concatenation as Basis for a Complete System of Arithmetic.
On the Interpretation of the Sign 'subset of'.
Discussion on Mr. Mackay's paper 'Entropy, Time and Information'.
Discussion on Dr. E. Slater's paper on 'Statistics for the Chess Computor and the Factor of Mobility'.
Significance of information theory to neurophysiology.
Turning Shoe Information to Knowledge of Technology and Deals
Aktors
en_US
Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
website
Possible features of brain function and their imitation.
Criteria of prediction and discrimination.
Some Formal Relative Consistency Proofs.
Discussion on Dr. T. Gold's paper on 'Hearing'.
General treatment of the problem of coding.
A bibliography of Information Theory (communication theory-cybernetics).
Discussion on Prof. M.S. Bartlett's paper on 'The Statistical Approach to the Analysis of Time-Series'.
An Extended Procedure in Quantificational Logic.
Eine Bemerkung zu Henkin's Beweis fur die Vollstandigkeit des Pradikatenkalkuls der Ersten Stufe.
Conditioned Disjunction as a Primitive Connective for the Erweiterter Aussagenkalkul.
Discussion on Dr. Mackay's paper on 'Quantum Aspects of Scientific Information'.
The problem of the information which the brain receives from the eye (Abstr.).
Fifteenth Meeting of the Association for Symbolic Logic.
Communication theory and linguistic theory.
Statistics for the chess computer and the factor of mobility.
Discussion on Dr. J.H. Westcott's paper on 'Criteria of Prediction and Discrimination'.
Discussion on Dr. J.A.V. Bate's paper 'Significance of Information Theory in Neurophysiology'.
Paradox of the Class of All Grounded Classes.
Discussion on Mr. E.C. Cherry's paper on 'On the History of the Theory of Information'.
Communication theory - Exposition of fundamentals.
Quantification Theory and Empty Individual-Domains.
Banishing the Rule of Substitution for Functional Variables.
DBLP : dblp-publications-1953.rdf
This ontology contains information detailing publications from dblp