The crown of Hinduism, by J. N. Farquhar ..

http://www.archive.org/details/thecrownofhindui00farquoft

Christ versus Krishna : a brief comparison between the chief events, characteristics & mission of the Babe of Bethlehem Judµa and the Babe of Brindabun Mathurapuri : with a concise review of Hindooism, proving its derivation from Christianity / by L.A. Sakes.

http://www.archive.org/details/christversuskris014648mbp

Hinduism and Christianity in Orissa: containing a brief description of the country, religion, manners and customs, of the Hindus, and an account of the operations of the American Freewill Baptist Mission in northern Orissa ... By O.R. Bacheler ...

http://www.archive.org/details/hinduismandchris00bachuoft

A Chinese appeal to Christendom concerning Christian mission / by Lin Shao-yang [pseud.].

http://www.archive.org/details/achineseappealto00johnuoft

Asian Christology and the Mahayana : a reprint of the century-old "Indian Church History", by Thomas Yeates ; and the further investigation of the religion of the Orient as influenced by the Apostle of the Hindus and Chinese

http://www.archive.org/details/asianchristology00gorduoft

Liberal Christianity : its origin, nature, and mission / by Jean Râeville ; translated and edited by Victor Leuliette.

http://www.archive.org/details/liberalchristian00rvuoft

Christianity and civilization in the South Pacific : the influence of missionaries upon European expansion in the Pacific during the nineteenth century

http://www.archive.org/details/christianityandc00younuoft

India and India missions : including sketches of the gigantic system of hinduism, both in theory and practive : also notices of some of the principal agencies employed in conducting the process of Indian evangalization, etc. etc.

http://books.google.com/books?vid=OCLC05766993

Lectures on the Tinnevelly missions, descriptive of the field, the work, and the results : with an introductory lecture on the progress of Christianity in India.

http://www.archive.org/details/lecturesontinnev00calduoft

A proposal for the better supplying of churches in our foreign plantations, and for converting the savage Americans to Christianity, by a college to be erected in the Summer Islands, otherwise called the Isles of Bermuda.

http://www.archive.org/details/proposalforbette00berkrich

Ubuntu, Jesus, and Earth: Integrating African Religion and Christianity in Ecological Ethics

Africa faces problems of ecological devastation caused by economic exploitation, rapid population growth, and poverty. Capitalism, residual colonialism, and corruption undermine Africa's efforts to forge a better future. The dissertation describes how in Africa the mounting ecological crisis has religious, political, and economic roots that enable and promote social and environmental harm. It presents the thesis that religious traditions, including their ethical expressions, can effectively address the crisis, ameliorate its impacts, and advocate for social and environmental betterment, now and in the future. First, it examines African traditional religion and Christian teaching, which together provide the foundation for African Christianity. Critical examination of both religious worldviews uncovers their complementary emphases on human responsibility toward planet Earth and future generations. Second, an analysis of the Gwembe Tonga of Chief Simamba explores the interconnectedness of all elements of the universe in African cosmologies. In Africa, an interdependent, participatory relationship exists between the world of animals, the world of humans, and the Creator. In discussing the annual lwiindi (rain calling) ceremony of Simamba, the study explores ecological overtones of African religions. Such rituals illustrate the involvement of ancestors and high gods in maintaining ecological integrity. Third, the foundation of the African morality of abundant life is explored. Across Sub-Saharan Africa, ancestors' teachings are the foundation of morality; ancestors are guardians of the land. A complementary teaching that Christ is the ecological ancestor of all life can direct ethical responses to the ecological crisis. Fourth, the eco-social implications of ubuntu (what it means to be fully human) are examined. Some aspects of ubuntu are criticized in light of economic inequalities and corruption in Africa. However, ubuntu can be transformed to advocate for eco-social liberation. Fifth, the study recognizes that in some cases conflicts exist between ecological values and religious teachings. This conflict is examined in terms of the contrast between awareness of socioeconomic problems caused by population growth, on the one hand, and advocacy of a traditional African morality of abundant children, on the other hand. A change in the latter religious view is needed since overpopulation threatens sustainable living and the future of Earth. The dissertation concludes that the identification of Jesus with African ancestors and theological recognition of Jesus as the ecological ancestor, woven together with ubuntu, an ethic of interconnectedness, should characterize African consciousness and promote resolution of the socio-ecological crisis.

Fixed Point vs. First-Order Logic on Finite Ordered Structures with Unary Relations

We prove that first order logic is strictly weaker than fixed point logic over every infinite classes of finite ordered structures with unary relations: Over these classes there is always an inductive unary relation which cannot be defined by a first-order formula, even when every inductive sentence (i.e., closed formula) can be expressed in first-order over this particular class. Our proof first establishes a property valid for every unary relation definable by first-order logic over these classes which is peculiar to classes of ordered structures with unary relations. In a second step we show that this property itself can be expressed in fixed point logic and can be used to construct a non-elementary unary relation.

Efficient Support for Common Relations in Lightweight Formal Reasoning Systems

In work that involves mathematical rigor, there are numerous benefits to adopting a representation of models and arguments that can be supplied to a formal reasoning or verification system: reusability, automatic evaluation of examples, and verification of consistency and correctness. However, accessibility has not been a priority in the design of formal verification tools that can provide these benefits. In earlier work [Lap09a], we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. This work expands one aspect of the earlier work by considering more extensively an essential capability for any formal reasoning system whose design is oriented around simulating the natural context: native support for a collection of mathematical relations that deal with common constructs in arithmetic and set theory. We provide a formal definition for a context of relations that can be used to both validate and assist formal reasoning activities. We provide a proof that any algorithm that implements this formal structure faithfully will necessary converge. Finally, we consider the efficiency of an implementation of this formal structure that leverages modular implementations of well-known data structures: balanced search trees and transitive closures of hypergraphs.