John N. Crossley

26 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Random

Details Grid — Show only ebooks?

1 2 Next >

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

by Iman Hafiz Poernomo, John N. Crossley, and Martin Wirsing First published in 2005 — 3 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Logical Methods

by John N. Crossley First published in 1993 — 2 editions

Locate

My Reading Lists:

Create a new list
Logical methods: in honor of Anil Nerode's sixtieth birthday

by Anil Nerode and John N. Crossley First published in 1993 — 2 editions

Locate

My Reading Lists:

Create a new list
Growing ideas of number

by John N. Crossley First published in 2006 — 2 editions

Locate

My Reading Lists:

Create a new list
Preview

Preview Book
×Close

Constructive order types

by John N. Crossley First published in 1969 — 2 editions

Preview Only

My Reading Lists:

Create a new list
Ars Musice

by Johannes De Grocheio, Constant J. Mews, and John N. Crossley First published in 2011 — 1 edition

Locate

My Reading Lists:

Create a new list
Guy of Saint-Denis, Tractatus de Tonis

by Carol J. Williams, John N. Crossley, Catherine Jeffreys, and Constant J. Mews First published in 2017 — 1 edition

Locate

My Reading Lists:

Create a new list
Communities of Learning: Networks and the Shaping of Intellectual Identity in Europe, 1100-1500

by Constant J. Mews and John N. Crossley First published in 2011 — 1 edition

Locate

My Reading Lists:

Create a new list
The Emergence of Number

by John N. Crossley First published in 1988 — 1 edition

Locate

My Reading Lists:

Create a new list
Combinatorial functors

by John N. Crossley First published in 1974 — 1 edition

Locate

My Reading Lists:

Create a new list
The emergence of number.

by John N. Crossley First published in 1980 — 1 edition

Locate

My Reading Lists:

Create a new list
The emergence of number

by John N. Crossley First published in 1980 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

Algebra and logic: papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia

by John N. Crossley First published in 1975 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

Formal systems and recursive functions

by John N. Crossley and Michael Dummett First published in 1965 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

Constructive order types.

by John N. Crossley First published in 1969 — 1 edition
Borrow

Listen

Locate
My Reading Lists:

Create a new list
Constructive order types

by John N. Crossley First published in 1969 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

What is Mathematical Logic?

by John N. Crossley First published in 1972 — 1 edition
Borrow

Listen

Locate
My Reading Lists:

Create a new list
Communities Of Learning Networks And The Shaping Of Intellectual Identity In Europe 11001500

by John N. Crossley First published in 2010 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

Combinatorial functors

by John N. Crossley First published in 1974 — 1 edition
Borrow

Listen

Locate
My Reading Lists:

Create a new list
Hernando de los Ríos Coronel and the Spanish Philippines in the golden age

by John N. Crossley First published in 2011 — 1 edition

Locate

My Reading Lists:

Create a new list

1 2 Next >

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL2008282A

Links outside Open Library

No links yet. Add one?

History

Created April 1, 2008
2 revisions

Download catalog record: RDF / JSON

August 22, 2008	Edited by RenameBot	fix author name
April 1, 2008	Created by an anonymous user	initial import

John N. Crossley

26 works Add another?

Create a new list

Preview Book

Subjects

Places

People

Time

Lists

Add to List

ID Numbers

Links outside Open Library

History