Godel's Second Incompleteness Theorem for Q.

A. Bezboruah John C. Shepherdson

Published in: J. Symb. Log. (1976)

Keyphrases

incomplete information
von neumann
database
real time
neural network
e learning
high quality
cooperative
pattern recognition
mobile devices
image analysis
missing values