Troelstra Anne (42 results)

Condition: New. In English.

Condition: New.

Paperback. Condition: New. 1969 ed.

PF. Condition: New.

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! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Condition: New.

Paperback, 23 cm, 654 pp. Ills.: z/w en kleurenillustraties. Cond.: goed / good. ISBN: 9789045015941.

8vo. 22.8cm. 605 blz., illustr. in tekst, bibliogr. Paperback, geïllustr. omslag. Nieuw exemplaar.

228 p. Paperback, rug geplakt.

228 p. Paperback, rug verstevigd met linnen.

Condition: New. In English.

Paperback. Condition: Brand New. 2nd sub edition. 417 pages. 8.75x6.00x0.75 inches. In Stock.

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.- Choice 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.…

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.

Condition: New. pp. 432 2nd Edition.

Amst. & Antwerpen, Atlas, 2003. 605 blz. Geïll. Paperback. Fraai. #9045010828. [52135].

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 Gert 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.…

Paperback. Condition: Brand New. 2nd sub edition. 417 pages. 8.75x6.00x0.75 inches. In Stock.

Paperback. Condition: New. 1969 ed.

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.

Condition: Very Good.

Condition: Very Good.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. 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. …

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

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

Paperback. Condition: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.

Condition: Sehr gut. Zustand: Sehr gut | Seiten: 405 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Groningen, 1901 (thesis Utrecht). Halflinnen, gedecoreerde privé band. viii-231 p.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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.- Choice 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. 116 pp. Englisch.…

Leiden, KITLV, 2016. Boards. 482 pp. Anne Troelstra's fine bibliography is an outstanding and ground-breaking work.He has provided the academic world with a long-needed bibliographical record of human endeavour in the field of the natural sciences. The travel narratives listed here encompass all aspects of the natural world in every part of the globe. He gives a superb overview over four thousand detailed entries, ranging over four centuries and all major western European languages, are drawn from a wide range of sources and include both printed books and periodical contributions. - A must for any collector of works of exploration.…