John N. Crossley

4 books

Boxer Codex: A Modern Spanish Transcription and English Translation of 16th-Century Exploration Accounts of East and Southeast Asia and the Pacific by Isaac Donoso

Boxer Codex: A Modern Spanish Transcription and English Translation of 16th-Century Exploration Accounts of East and Southeast Asia and the Pacific

Isaac Donoso

448 pages • first pub 2016 (editions)

nonfiction history challenging informative reflective medium-paced
Adapting Proofs-As-Programs: The Curry--Howard Protocol by Iman Poernomo, John N. Crossley, Martin Wirsing

Adapting Proofs-As-Programs: The Curry--Howard Protocol

Monographs in Computer Science

Iman Poernomo, John N. Crossley, Martin Wirsing

420 pages • missing pub info (editions)

nonfiction computer science design mathematics medium-paced
Ars Musice by C. J. Mews, Catherine Jeffreys, Leigh McKinnon, Johannes de Grocheio, John N. Crossley
Ars Musice
—
C. J. Mews, Catherine Jeffreys, Leigh McKinnon, Johannes de Grocheio, John N. Crossley

Ars Musice

C. J. Mews, Catherine Jeffreys, Leigh McKinnon, Johannes de Grocheio, John N. Crossley

180 pages • missing pub info (editions)

challenging informative reflective medium-paced
The Nine Chapters on the Mathematical Art: Companion and Commentary by

The Nine Chapters on the Mathematical Art: Companion and Commentary

616 pages • missing pub info (editions)

nonfiction history mathematics philosophy science informative medium-paced