Salt Creek, South Australia were sent out with 500 feet of boring rods and the oily substance which he had described as scum upon the surface of the water was traceable in various parts of the creek. Extensive claims were taken out and a company was formed to work a substance known as mineral caoutchouc and Mr Eustace R. Mitford was dispatched there. Boundaries for the locality were created on 24 August 2000 for the " long established name" which is ultimately derived from a stream that flows through the locality on its way to the Coorong. In 1892, a group of entrepreneurs, who
History of type theory derivations in logics. Howard showed that the typed lambda calculus corresponded to intuitionistic natural deduction. (That is, natural deduction without the Law of excluded middle.) The connection between types and logic lead to a lot of subsequent research to find new type theories for existing logics and new logics for existing type theories. Nicolaas Govert de Bruijn created the type theory Automath as a mathematical foundation for the Automath system, which could verify the correctness of proofs. The system developed and added features over time as type theory developed. Per Martin-Löf found a type theory that corresponded to predicate logic