Many mathematical and computational concepts can be represented in a natural way using higher-order logic. Consequently, higher-order logic has become an important topic of research. /Automated Reasoning in Higher-Order Logic/ presents both a theoretical analysis of fragments of higher-order logic as well as a complete automated search procedure for an extensional form of
higher-order logic.

The first part of the book provides a detailed presentation of the theory (syntax and semantics) of fragments of higher-order logic. The fragments differ in the amount of extensionality and set...

***WINNER Best Sci-Fi Series 2016 by the Texas Association of Authors*** The Saga continues in Earth Bound... The Evriskon has succeeded and arrived on the new planet, but many others did not. These losses weigh heavily on her, but they threaten to become worse when an alien illness sweeps through the survivors. She decides to return to Earth and recover a hidden cache of medical supplies. But her journey quickly becomes fraught with constant battles when an old foe returns and a new one is born. In the race to save the burgeoning settlement, the Evriskon discovers the Nexus is pulling all...

Survival is a Process... When the lights flicker and die, when the ground shakes, when the sky explodes, when darkness closes in, will you be strong enough to survive? And will you be strong enough to survive again?

***WINNER Best Sci-Fi Series 2016 by the Texas Association of Authors*** The Saga begins in Book I, Future Lost... When the Nexus takes over the world and begins killing humanity, one woman discovers how to travel to another habitable planet. But after convincing the other survivors to follow, her own fight to live is challenged when she ends up chased by a machine and becomes lost in the future. Will she survive facing the same enemy twice?

Follow an epic journey of fantasy and adventure as Scholar and Artist hunt the origins of the elusive Djinn. Trekking across exotic lands and over raging seas to the volcanic island home of demons of smoke and ash, will they survive finding what they are both seeking so desperately?

In a world where Good has been subdued and Evil reigns, old powers stir... Deadforce rules in a decaying land, and Magick has grown weak. Atop his fortress of ice, the High Overlord sits secure on the decadent, agony-powered throne of his empire. Only in dreams does a thread of dragonforce live on. Across the continent, a captive laborer Remembers hope and begins to dream. Yet to find the absent dragons and restore the Balance, this slave must risk everything to escape, enduring pain, humiliation, and haunting visions of the past. But will the price become too high - and the scars too deep -...

Dragonkind is at an end. In a desperate attempt to save the survivors, a new spell is created, one that will allow dragons to live on - at great cost to all the races of the Pact... Centuries later, Rothsarien of Clan Acamarian has a problem: his older brother. Wrethrian has created a mountain stronghold where the inhabitants worship him - against every law of the Pact. When Rothsarien goes to investigate on behalf of his clan leader father, he finds far more than he expected in the form of an imprisoned sythren. The young Rothsarien refuses to make a fateful choice until vision-riddled...

1st Place Fairy Tale 2016 Winner by the Texas Association of Authors A Wonderland-esque adventure tied into the tale of the Pied Piper in an escapade of missing organs, where Time stretches out as a Queen searches for the stolen piece of Her Self... Where a boy becomes Hunter when he follows the melody and loses his Soul in the process... Where two Sundered Selves meet in a fantasy of missing organs and sacrifice everything to be Whole, aided by a Worm, an almost-Cat, and guards without faces... Welcome to the Land of Wonder.