Related Books

Study of the Types
Language: en
Pages: 244
Authors: Ada R. Habershon
Categories: Religion
Type: BOOK - Published: 1957 - Publisher: Kregel Publications

DOWNLOAD EBOOK

Habershon unfolds the types and symbols in Scripture that represent Christ and His work. A classic resource!
Type-Driven Development with Idris
Language: en
Pages: 744
Authors: Edwin Brady
Categories: Computers
Type: BOOK - Published: 2017-03-13 - Publisher: Simon and Schuster

DOWNLOAD EBOOK

Summary Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking
How to Practice Academic Medicine and Publish from Developing Countries?
Language: en
Pages: 475
Authors: Samiran Nundy
Categories: Medical
Type: BOOK - Published: 2021-10-23 - Publisher: Springer Nature

DOWNLOAD EBOOK

This is an open access book. The book provides an overview of the state of research in developing countries – Africa, Latin America, and Asia (especially Indi
Homotopy Type Theory: Univalent Foundations of Mathematics
Language: en
Pages: 484
Authors:
Categories:
Type: BOOK - Published: - Publisher: Univalent Foundations

DOWNLOAD EBOOK

Christus Victor
Language: en
Pages: 182
Authors: Gustaf Aulen
Categories: Religion
Type: BOOK - Published: 2003-09-05 - Publisher: Wipf and Stock Publishers

DOWNLOAD EBOOK

Gustaf Aulen's classic work, 'Christus Victor', has long been a standard text on the atonement. Aulen applies history of ideas' methodology to historical theolo