50 YEAR JOURNEY (PB)

A FIRST COURSE IN FUNCTIONAL ANALYSIS (PB)

A MACHINE PROGRAM FOR THEOREM-PROVING (HB)

AER

ALAN M. TURING

AMERICA'S GIFT TO GOLF (HB)

AMERICAN WAY (PB)

AMSER

AN ALGORITHM FOR CONSTRUCTING FEASIBLE SCHEDULES AND COMPUTING THEIR SCHEDULE TIMES

AN ALGORITHM FOR CONSTRUCTING FEASIBLE SCHEDULES AND COMPUTING THEIR SCHEDULE TIMES (HB)

APPLIED NONSTANDARD ANALYSIS (HB)

APPLIED NONSTANDARD ANALYSIS (PB)

ARNOLD PALMER: AMERICAN HERO

ASESU DARLIEN A MATHEMATEG PRAWF SGRINO (PB)

ASTROLOCALITY ASTROLOGY: A GUIDE TO WHAT IT IS AND HOW TO USE IT

ASTROLOCALITY ASTROLOGY: A GUIDE TO WHAT IT IS AND HOW TO USE IT (PB)

BEN HOGAN (PB)

BROC RHYFEL (PB)

BYRON NELSON (HB)

CARTOGRAPHIC ANALYSIS OF SOVIET MILITARY CITY PLANS

CARTOGRAPHIC ANALYSIS OF SOVIET MILITARY CITY PLANS (HB)

CHWAIN Y MWNGREL (PB)

COMPUTABILITY AND UNSOLVABILITY (PB)

COMPUTABILITY AND UNSOLVABILITY (PB)

COMPUTABILITY, COMPLEXITY, AND LANGUAGES (HB)

COMPUTER GRAPHICS (HB)

CONSTITUTIONES (2 )

CORRECT-PROGRAM TECHNOLOGY/EXTENSIBILITY OF VERIFIERS

CORRECT-PROGRAM TECHNOLOGY/EXTENSIBILITY OF VERIFIERS. TWO PAPERS ON PROGRAM VERIFICATION. BY MARTIN DAVIS AND J.T. SCHWARTZ

CORRECT-PROGRAM TECHNOLOGY/EXTENSIBILITY OF VERIFIERS. TWO PAPERS ON PROGRAM VERIFICATION. BY MARTIN DAVIS AND J.T. SCHWARTZ (HB)

DIOPHANTINE SETS OVER POLYNOMIAL RINGS (CLASSIC REPRINT)

DIOPHANTINE SETS OVER POLYNOMIAL RINGS (HB)

DWR

DYN A BLANNAI GOED, Y (PB)

EXTENSIONS AND COROLLARIES OF RECENT WOR (PB)

EXTENSIONS AND COROLLARIES OF RECENT WORK ON HILBERT''S TENTH PROBLEM

EXTENSIONS AND COROLLARIES OF RECENT WORK ON HILBERT''S TENTH PROBLEM (HB)

EXTENSIONS AND COROLLARIES OF RECENT WORK ON HILBERT''S TENTH PROBLEM (HB)

EXTENSIONS AND COROLLARIES OF RECENT WORK ON HILBERT''S TENTH PROBLEM (PB)

EXTENSIONS AND COROLLARIES OF RECENT WORK ON HILBERT'S TENTH PROBLEM

EXTENSIONS AND COROLLARIES OF RECENT WORK ON HILBERT'S TENTH PROBLEM

EXTENSIONS AND COROLLARIES OF RECENT WORK ON HILBERT'S TENTH PROBLEM (HB)

FIRST COURSE IN FUNCTIONAL ANALYSIS (PB)

FROM HERE TO THERE (PB)

FROM LINEAR OPERATORS TO COMPUTATIONAL BIOLOGY (HB)

FROM LINEAR OPERATORS TO COMPUTATIONAL BIOLOGY (PB)

GRUFFUDD (PB)

HANDMAIDEN OF THE SUN: BOOK ONE - REALISATION

HANDMAIDEN OF THE SUN: BOOK TWO - RESOLUTION

HILBERT'S 10TH PROBLEM (HB)

HOGAN MYSTIQUE (PB)

HOGLANDS (HB)

HOW TO PLAY LINKS GOLF (HB)

JACK NICKLAUS (HB)

LLOSGI'R BONT (PB)

LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)

MY MULLIGAN TO GOLF (HB)

OLWYNION

OS DIANC RHAI (PB)

PRACTICAL INJECTION MOLDING

RHITHIAU (PB)

RUBE GOLDBERG ON GOLF (HB)

SEROS (PB)

SEROS 2 (PB)

SET THEORY AND THE CONTINUUM HYPOTHESIS (PB)

SPECULATIVE IMAGE (PB)

TEXT AND MATERIALS ON HOUSING LAW (PB)

THE DIARY OF A SHROPSHIRE FARMER (PB)

THE FARMER AND THE GOOSE WITH THE GOLDEN EYES (PB)

THE GREATEST OF THEM ALL (HB)

THE RYDER CUP (HB)

THE RYDER CUP (PB)

THE THEORY AND PRACTICE OF TENANT PARTICIPATION IN HOUSING (HB)

THE UNDECIDABLE (PB)

THE UNICORN ROAD (AUD)

THE UNIVERSAL COMPUTER

THE UNIVERSAL COMPUTER (PB)

TONNAU TRYWERYN (PB)

UNIVERSAL COMPUTER (HB)

UNIVERSAL COMPUTER - THE ROAD FROM LEIBNIZ TO TURING (HB)

WALES DRAWING BIENNALE ARLUNIO CYMRU (PB)

WELSH SHIPS AND SAILING MEN (PB)

YSBRYD SABRINA