Søkt på: Bøker av John N. Crossley
totalt 7 treff
Adapting Proofs-as-Programs
This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has …
Adapting Proofs-as-Programs
This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has …
Logical Methods
The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth …
Ars musice
Ars musice, composed in Paris during the late thirteenth century, reflects Johannes de Grocheio's awareness of the complexity of the task of describing music. As the editors note …
Guy of Saint-Denis, Tractatus de tonis
The Tractatus de tonis of Guy of Saint-Denis (written ca. 1300-10) differs from other treatises on plainchant in the depth of its analysis of the various tones into which chant was …
Guy of Saint-Denis, Tractatus de tonis
The Tractatus de tonis of Guy of Saint-Denis (written ca. 1300-10) differs from other treatises on plainchant in the depth of its analysis of the various tones into which chant was …
What is Mathematical Logic?
Although mathematical logic can be a formidably abstruse topic, even for mathematicians, this concise book presents the subject in a lively and approachable fashion. It deals with …