What Is Mathematical Logic

By John N. Crossley

Combinatorial Functors. Ergebnisse der Mathematik und ihrer Granzgebiete Band 81

By John N Crossley

Algebra and logic

By J. N. Crossley

Adapting Proofs as Programs

By John Newsome Crossley, Iman Hafiz Poernomo, Martin Wirsing

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 y...

Sets, models and recursion theory

By Summer School In Mathematical Logic 1965 University Of Leicester

Formal systems and recursive functions

By John N. Crossley, Michael Dummett

What is Mathematical Logic?

By N. H. Williams, J. N. Crossley, C. J. Ash, C. J. Brickhill, J. C. Stillwell

Constructive order types

By John N. Crossley

Logical Methods

By

Anil Nerode has had a wide influence on logic and computer science since the 1960's. This volume reflects his inspiration and also the variety of interests which he has. The papers in this book are...

Growing ideas of number

By John N. Crossley