Advanced Search»

Logic

Showing 1-2 of 2 items in Logic


Computability and Randomness

Andre Nies
$45.00
Not Yet Published, 
Paperback,  Mar 2012 ISBN13: 9780199652600ISBN10: 0199652600 A monograph on the interface of computational complexity and randomness of sets of natural numbers.
bookshot


The Basic Picture

Structures for Constructive Topology
Giovanni Sambin
$125.00
Not Yet Published, 
Hardback,  Nov 2012 ISBN13: 9780199232888ISBN10: 0199232881 A discussion of the technical development of the field and an outline of the philosophical and methodological motivations underlying the evolution of the discipline.

See more from the series
bookshot


Discover these from OUP

Books for Understanding

Highlighting quality titles on terrorism, grief, international law, Middle Eastern history, Islam, and more


“A new era in the historical study of English”  —David Crystal

cover The first historical thesaurus ever written —over 40 years in the making and covering 920,000+ words from Old English to the present— the HTOED is a groundbreaking view of the historical inventory of English.


The world is an everchanging place

cover The Encyclopedia of Global Change provides the first comprehensive guide to the impact of humanity on the planet. Two volumes covering topics from the environment and resources to policies, demographics, and biographies.