Troelstra anne (22 Ergebnisse)

Zustand: New. In English.

Paperback. 654 pagina's. Als nieuw met enkele vlekjes op de boeksnede, verder in nagenoeg nieuwstaat. Door de eeuwen heen hebben reizende natuurhistorici zich grote inspanningen getroost om onze kennis van flora en fauna uit te breiden; hun reisverslagen vormen boeiende lectuur. Kolibries in de oren vertelt het verhaal van een aantal van deze reizigers, gelardeerd met overvloedige citaten uit de oorspronkelijke teksten. Zo ontmoeten we onder anderen Nikolaj Przjevalski, de man van het przewalskipaard, pater Armand David van het Pater-Davidshert, en Theodore Roosevelt, voormalig president van de Verenigde Staten. De verslagen laten zien hoe de politieke omstandigheden vaak grote invloed hadden op het werk van deze reizigers. Soms wordt er ook gelogen in deze verhalen, en aan de hand van voorbeelden worden de af en toe moeilijk te bepalen grenzen verkend tussen waar en verzonnen. 777g.…

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.

Zustand: New. 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 seq.

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

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Principles of Intuitionism | Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY | Anne S. Troelstra | Taschenbuch | Lecture Notes in Mathematics | Einband - flex.(Paperback) | Englisch | Springer | EAN 9783540046141 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.…

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

Taschenbuch. Zustand: 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.…

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

Zustand: Very Good.

Zustand: Very Good.

Zustand: 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.

Taschenbuch. Zustand: 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. Zustand: 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.…

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

Zustand: 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.

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