Anne Troelstra (46 results)
Omega-Bibliography of Mathematical Logic VI: Proof Theory, Constructive Mathematics (Perspectives in Mathematical Logic) (Vol 6)
Kister, Jane E. [Editor]; Dalen, Dirk van [Editor]; Troelstra, Anne [Editor]; Müller, Gert H. [Editor]; Lenski, Wolfgang [Assistant];
- Hardcover
Seller: A Squared Books (Don Dewhirst), South Lyon, MI, U.S.A.A Squared Books (Don Dewhirst)
Contact seller5-star sellerCondition: Used - Very good
£ 16.67
£ 4.88 shippingShips within U.S.A.Quantity: 2 available
Hardcover. Condition: Very Good. New York, 1987; yellow cloth covered boards; mild shelf wear; 4to - over 9 3/4" to 12" tall; interior pages in like new condition; interior clean and unmarked; 405 pages.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 26.81
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 24.39
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- More images
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1969
- Softcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
£ 41.13
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. 1969 ed.
- Softcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contact seller5-star sellerCondition: Used - Good
£ 43.78
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipp…ed with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
Published by Amsterdam: Uitgeverij Atlas, 2003
- Softcover
Seller: Aquila Antiquariaat, Lochem, GLD, NetherlandsAquila Antiquariaat
Contact seller3-star sellerCondition: Used
£ 15.45
£ 18.00 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Add to basket8vo. 22.8cm. 605 blz., illustr. in tekst, bibliogr. Paperback, geïllustr. omslag. Nieuw exemplaar.
Language: Dutch
Published by Amsterdam-Antwerpen, Uitgeverij Atlas. 2003, 2003
- Softcover
Seller: Antiquariaat Schot, Hendrik-Ido-Ambacht, NetherlandsAntiquariaat Schot
Contact seller5-star sellerCondition: Used
£ 12.18
£ 21.42 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Original publisher's paperback, pictorial frontcover, thick large 8vo: 606pp.,illustrations, maps, sources, credits illustrations, general bibliography, index. Very fine copy.
- Hardcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 49.21
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 3 available
Condition: New. pp. 380 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Published by Groningen, J.B. Wolters 1901, 1901
- Softcover
Seller: Antiquariaat Schot, Hendrik-Ido-Ambacht, NetherlandsAntiquariaat Schot
Contact seller5-star sellerCondition: Used
£ 16.24
£ 21.42 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Add to basket228 p. Paperback, rug geplakt.
Published by Groningen, J.B. Wolters 1901, 1901
- Softcover
Seller: Antiquariaat Schot, Hendrik-Ido-Ambacht, NetherlandsAntiquariaat Schot
Contact seller5-star sellerCondition: Used
£ 16.24
£ 21.42 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Add to basket228 p. Paperback, rug verstevigd met linnen.
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 62.94
£ 3.00 shippingShips within U.S.A.Quantity: 3 available
Condition: New. pp. 380.
- Hardcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 60.00
£ 8.53 shippingShips from Germany to U.S.A.Quantity: 3 available
Condition: New. pp. 380.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 61.04
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Amsterdam [u.a.] : North-Holland Publ. Comp., 1982
- Hardcover
Seller: Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, GermanyWissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG
Contact seller5-star sellerCondition: Used - Very good
£ 66.20
£ 8.57 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: gut. IX, 523 S., Abb., 23 cm, Bibliotheksexemplar, Einband leicht fleckig, gebräunt, untere Einbandkante mit leichter Druckstelle. Sprache: Englisch.
- More images
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 23.57
£ 52.23 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Logic.- Elementary arithmetic.- Species.- Sequences and constructive (lawlike) objects.- Elementary theory of real numbers.- Ordering relations and order on the real line.- Constructive or lawlike analysis.- Lawless sequences of natural numbers.- C…hoice sequences.- Spreads and a theory of real numbers.- Topology; separable metric spaces.- Applications of the continuity principles and the fan theorem.- Well-orderings and ordinals.- Species revisited; the role of the comprehension principle.- Brouwer's theory of the creative subject.
- More images
- Hardcover
- First Edition
Seller: Ted Kottler, Bookseller, Redondo Beach, CA, U.S.A.Ted Kottler, Bookseller
Contact seller3-star sellerCondition: Used - Near fine
£ 73.65
£ 9.56 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Near Fine. Dust Jacket Condition: Near Fine. 1st Edition. ix, 170 pp. Original cloth. Near Fine, in near fine- dust jacket (rear panel sunned, price-clipped). Oxford Logic Guides.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 81.90
£ 3.00 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 432 2nd Edition.
- Softcover
Seller: Rob Kok Old Books & Prints, Loosdrecht, NH, NetherlandsRob Kok Old Books & Prints
Contact seller4-star sellerCondition: Used
£ 15.01
£ 22.28 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Add to basketAmst. & Antwerpen, Atlas, 2003. 605 blz. Geïll. Paperback. Fraai. #9045010828. [52135].
Language: English
Published by Springer Verlag, Berlin, Heidelberg, New York et. al., 1987, 1987
- Hardcover
Seller: Antiquariat Stefan Wulf, Berlin, GermanyAntiquariat Stefan Wulf
Contact seller5-star sellerCondition: Used
£ 70.62
£ 21.42 shippingShips from Germany to U.S.A.Quantity: 1 available
Org.-Hardcover. Quart, XLI, 405 S., einwandfreies, frisches Exemplar. [=Omega-Bibliography of Mathematical Logic. Edited by Gert H. Müller in Collaboration with Wolfgang Lenski. Vol. VI] - ENGLISH: In-quarto, xli, 405 pp., clean, fresh copy. ISBN 3540155244 UND 0387155244. [=Omega-Bibliography of Mathematical Logic. Edited by Ge…rt H. Müller in Collaboration with Wolfgang Lenski. Vol. VI] - ENGLISH: In-quarto, xli, 405 pp., clean, fresh copy. ISBN 3540155244 UND 038715524#4. 2000 g.
- More images
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1969
- Softcover
Seller: Rarewaves.com UK, London, United KingdomRarewaves.com UK
Contact seller5-star sellerCondition: New
£ 26.80
£ 65.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. 1969 ed.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 80.32
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 2nd sub edition. 417 pages. 8.75x6.00x0.75 inches. In Stock.
- Softcover
Seller: Mooney's bookstore, Den Helder, NetherlandsMooney's bookstore
Contact seller4-star sellerCondition: Used - Very good
£ 40.50
£ 12.81 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Condition: Very Good.
- Softcover
Seller: Mooney's bookstore, Den Helder, NetherlandsMooney's bookstore
Contact seller4-star sellerCondition: Used - Very good
£ 40.50
£ 12.81 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Condition: Very Good.
- More images
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 60.56
£ 41.98 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: New. This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.
- More images
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 61.39
£ 54.66 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Intuitionistic formal systems.- Models and computability.- Realizability and functional interpretations.- Normalization theorems for systems of natural deduction.- Applications of Kripke models.- Iterated inductive definitions, trees and ordinals.-… Erratum.
- More images
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 62.05
£ 54.41 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
- Softcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
£ 37.15
£ 89.98 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 504 | Sprache: Englisch | Produktart: Bücher | Intuitionistic formal systems.- Models and computability.- Realizability and functional interpretations.- Normalization theorems for systems of natural deduction.- Applications of Kripke models.- Iterated inductive definitions, trees…and ordinals.- Erratum.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - Very good
£ 108.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
- Hardcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
£ 47.62
£ 89.98 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 405 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Published by Groningen, 1901, 1901
Seller: Antiquariaat De Keerkring, Malden, NetherlandsAntiquariaat De Keerkring
Contact seller5-star sellerCondition: Used
£ 24.72
£ 22.28 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Add to basketGroningen, 1901 (thesis Utrecht). Halflinnen, gedecoreerde privé band. viii-231 p.
