Premium pages left without account:

Registrieren Login
Valuable Printed Books and Manuscripts

Christie's, 12 June 2013, London, King Street

Date of the auction: 12.06.2013

50 80
1 2 3 4
Opening price Lot title
50 80
1 2 3 4
Opening price Lot title
Image
Lot number 128
TURING, Alan 'Computability and -\Kl\k definability' Offprin...

TURING, Alan. 'Computability and -\Kl\k definability.' Offprint from: Journal of Symbolic Logic...

Christie's, 12 Jun 2013
Estimate
£1,000 - £1,500
ca. US$1,548 - US$2,322
Price realised:
£3,500
ca. US$5,418
Bookmark
Details 
Image
Lot number 129
TURING, Alan 'Finite approximations to lie groups' Offprint ...

TURING, Alan. 'Finite approximations to lie groups.' Offprint from: Annals of Mathematics , vol. 39...

Christie's, 12 Jun 2013
Estimate
£800 - £1,200
ca. US$1,238 - US$1,857
Price realised:
£1,625
ca. US$2,515
Bookmark
Details 
Image
Lot number 130
TURING, Alan 'Systems of logic based on ordinals' Offprint f...

TURING, Alan. 'Systems of logic based on ordinals.' Offprint from: Proceedings of the London...

Christie's, 12 Jun 2013
Estimate
£800 - £1,200
ca. US$1,238 - US$1,857
Price realised:
£11,875
ca. US$18,384
Bookmark
Details 
Image
Lot number 131
TURING, Alan and Maxwell Herman Alexander NEWMAN 'A formal t...

TURING, Alan and Maxwell Herman Alexander NEWMAN. 'A formal theorem in Church's theory of types...

Christie's, 12 Jun 2013
Estimate
£800 - £1,200
ca. US$1,238 - US$1,857
Price realised:
£1,375
ca. US$2,128
Bookmark
Details 
Image
Lot number 132
TURING, Alan 'A method for the calculation of the zeta-funct...

TURING, Alan. 'A method for the calculation of the zeta-function.' Offprint from: Proceedings of the...

Christie's, 12 Jun 2013
Estimate
£800 - £1,200
ca. US$1,238 - US$1,857
Price realised:
£2,250
ca. US$3,483
Bookmark
Details 
Image
Lot number 133
TURING, Alan 'Practical forms of type theory' Offprint from:...

TURING, Alan. 'Practical forms of type theory.' Offprint from: The Journal of Symbolic Logic , vol...

Christie's, 12 Jun 2013
Estimate
£2,500 - £3,500
ca. US$3,870 - US$5,418
Price realised:
£12,500
ca. US$19,351
Bookmark
Details 
Image
Lot number 134
TURING, Alan 'Rounding-off errors in matrix processes' Offpr...

TURING, Alan. 'Rounding-off errors in matrix processes.' Offprint from: The Quarterly Journal of...

Christie's, 12 Jun 2013
Estimate
£800 - £1,200
ca. US$1,238 - US$1,857
Price realised:
£2,750
ca. US$4,257
Bookmark
Details 
Image
Lot number 135
TURING, Alan 'The Word problem in Semi-groups with Cancellat...

TURING, Alan. 'The Word problem in Semi-groups with Cancellation.' Offprint from: Annals of...

Christie's, 12 Jun 2013
Estimate
£1,000 - £1,500
ca. US$1,548 - US$2,322
Price realised:
£4,375
ca. US$6,773
Bookmark
Details 
Image
Lot number 136
TURING, Alan 'The chemical basis of morphogenesis' Offprint ...

TURING, Alan. 'The chemical basis of morphogenesis.' Offprint from: Philosophical Transactions of...

Christie's, 12 Jun 2013
Estimate
£1,200 - £1,800
ca. US$1,857 - US$2,786
Price realised:
£13,125
ca. US$20,319
Bookmark
Details 
Image
Lot number 137
GÖDEL, Kurt (1906-1978) 'Die Vollständigkeit der Axiome des ...

GÖDEL, Kurt (1906-1978). 'Die Vollständigkeit der Axiome des logischen Funktionenkalküls.' Offprint...

Christie's, 12 Jun 2013
Estimate
£2,000 - £3,000
ca. US$3,096 - US$4,644
Price realised:
£21,250
ca. US$32,898
Bookmark
Details 
Image
Lot number 138
GÖDEL, Kurt (1906-1978) 'Zum Entscheidungsproblem des logisc...

GÖDEL, Kurt (1906-1978). 'Zum Entscheidungsproblem des logischen Funktionenkalküls.' Offprint from...

Christie's, 12 Jun 2013
Estimate
£1,000 - £1,500
ca. US$1,548 - US$2,322
Price realised:
£12,250
ca. US$18,964
Bookmark
Details 
Try LotSearch

Try LotSearch and its premium features for 7 days - without any costs!

  • Search lots and bid
  • Price database and artist analysis
  • Alerts for your searches
Sign Up