Penulis: John N. Crossley

Dukung
Constant J. Mews is a professor at Monash University, whose research interests include medieval philosophy, religion, and culture. John N. Crossley is a Professor Emeritus at Monash University. Catherine Jeffreys is an Adjunct Research Associate at Monash University. Leigh Mc Kinnon is a Ph D student at Monash University. Carol J. Williams is a Senior Lecturer at Monash University, specializing in medieval music.




4 Ebooks oleh John N. Crossley

Iman Poernomo & John N. Crossley: 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 been over thirty …
PDF
Inggris
€149.79
John N. Crossley & Jeffrey B. Remmel: 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 birthday (4 June 1992) at …
PDF
Inggris
DRM
€164.12
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 traditionally …
PDF
Inggris
DRM
€25.64
Johannes de Grocheio: 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 in their …
PDF
Inggris
DRM
€25.64