John N. Crossley

28 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending 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
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
Growing ideas of number

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

Locate

My Reading Lists:

Create a new list
Logical Methods

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

Locate

My Reading Lists:

Create a new list
Preview

What is Mathematical Logic?

by John N. Crossley First published in 1972 — 2 editions
Borrow

Listen

Locate
My Reading Lists:

Create a new list
Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday (Progress in Computer Science and Applied Logic (PCS))

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

Locate

My Reading Lists:

Create a new list
logic of Liu Hui and Euclid

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

Locate

My Reading Lists:

Create a new list
Combinatorial functors [by] J.N. Crossley [and] Anil Nerode.

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

Locate

My Reading Lists:

Create a new list
Preview

Emergence of Number

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

Listen

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
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
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
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
Logical methods: in honor of Anil Nerode's sixtieth birthday

by Anil Nerode and John N. Crossley First published in 1993 — 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

Combinatorial functors

by John N. Crossley First published in 1974 — 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

Constructive order types.

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

Listen

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

28 works Add another?

Create a new list

Preview Book

Subjects

Places

People

Time

Add to List

ID Numbers

Links outside Open Library

History