WorldCat Identities

Troelstra, A. S. (Anne Sjerp)

Overview
Works: 92 works in 368 publications in 3 languages and 3,923 library holdings
Genres: Conference papers and proceedings  Bibliography  Biography  Bio-bibliography  History 
Roles: Author, Editor, Compiler, Thesis advisor
Classifications: QA9, 511.3
Publication Timeline
.
Most widely held works about A. S Troelstra
 
Most widely held works by A. S Troelstra
Constructivism in mathematics : an introduction by A. S Troelstra( Book )

59 editions published between 1988 and 2014 in English and Undetermined and held by 538 WorldCat member libraries worldwide

Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras. The publication first takes a look at the topology of metric spaces, algebra, and finite-type arithmetic and theories of operators. Discussions focus on intuitionistic finite-type arithmetic, theories of operators and classes, rings and modules, linear algebra, polynomial rings, fields and local rings, complete separable metric spaces, and located sets. The te
Principles of intuitionism by A. S Troelstra( Book )

38 editions published between 1969 and 2007 in 3 languages and held by 513 WorldCat member libraries worldwide

Basic proof theory by A. S Troelstra( Book )

26 editions published between 1996 and 2006 in English and held by 509 WorldCat member libraries worldwide

"This introduction to the basic ideas of structural proof theory contains a through 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."--Jacket
Metamathematical investigation of intuitionistic arithmetic and analysis by A. S Troelstra( Book )

20 editions published between 1973 and 2008 in English and German and held by 439 WorldCat member libraries worldwide

Choice sequences : a chapter of intuitionistic mathematics by A. S Troelstra( Book )

14 editions published between 1975 and 1977 in 3 languages and held by 416 WorldCat member libraries worldwide

The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 by L.E.J. Brouwer Centenary Symposium( Book )

20 editions published in 1982 in English and held by 296 WorldCat member libraries worldwide

Lectures on linear logic by A. S Troelstra( Book )

17 editions published between 1990 and 2000 in English and Undetermined and held by 208 WorldCat member libraries worldwide

Bibliography of natural history travel narratives by A. S Troelstra( Book )

8 editions published in 2016 in English and held by 49 WorldCat member libraries worldwide

The travel narratives listed here encompass all aspects of the natural world in every part of the globe, but are especially concerned with its fauna, flora and fossil remains. Such eyewitness accounts have always fascinated their readers, but they were never written solely for entertainment: fragmentary though they often are, these narratives of travel and exploration are of immense importance for our scientific understanding of life on earth, providing us with a window on an ever changing, and often vanishing, natural world. Without such records of the past we could not track, document or understand the significance of changes that are so important for the study of zoogeography. 00With this book Troelstra gives us a superb overview of natural history travel narratives. The well 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. While no subject bibliography by a single author can attain absolute completeness, Troelstra's work is comprehensive to a truly remarkable degree. 00The entries are arranged alphabetically by author and chronologically, by the year of first publication, under the author's name. A brief biography, with the scope and range of their work, is given for each author; every title is set in context, the contents - including illustrations - are described and all known editions and translations are cited. In addition, visited, and a full list of the bibliographical and biographical sources used in compiling the bibliography
Intuitionistic general topology by A. S Troelstra( Book )

11 editions published in 1966 in 3 languages and held by 32 WorldCat member libraries worldwide

Van Spitsbergen naar Suriname : Nederlandse natuurhistorische reisverhalen( Book )

3 editions published in 2008 in Dutch and held by 23 WorldCat member libraries worldwide

Reisverhalen uit de 19e en 20e eeuw
Tijger op de Ararat by A. S Troelstra( Book )

2 editions published in 2003 in Dutch and Undetermined and held by 22 WorldCat member libraries worldwide

Kolibries in de oren : natuurhistorische reisverhalen 1700-1950 by A. S Troelstra( Book )

1 edition published in 2009 in Dutch and held by 15 WorldCat member libraries worldwide

Handbook of mathematical logic by Jon Barwise( Book )

1 edition published in 1977 in English and held by 14 WorldCat member libraries worldwide

The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own
Omega-bibliography of mathematical logic by G. H Müller( Book )

2 editions published in 1987 in English and held by 13 WorldCat member libraries worldwide

Logic and foundations of mathematics by A Heyting( Book )

2 editions published in 1968 in English and held by 11 WorldCat member libraries worldwide

Proof theory, constructive mathematics : Jane E. Kister ; Dirk van Dalen ... (eds.)( Book )

6 editions published in 1987 in English and held by 10 WorldCat member libraries worldwide

Notes on intuitionistic second order arithmetic by A. S Troelstra( Book )

4 editions published in 1971 in English and Dutch and held by 8 WorldCat member libraries worldwide

Choice sequences by A. S Troelstra( Book )

3 editions published in 1974 in English and held by 6 WorldCat member libraries worldwide

Axioms for intuitionistic mathematics incompatible with classical logic by A. S Troelstra( Book )

3 editions published in 1975 in English and held by 6 WorldCat member libraries worldwide

Computability of terms and notions of realizability for intuitionistic analysis by A. S Troelstra( Book )

4 editions published in 1971 in English and held by 6 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.69 (from 0.60 for Handbook o ... to 0.94 for Proof theo ...)

Constructivism in mathematics : an introduction
Alternative Names
Anne Sjerp Troelstra

Anne Sjerp Troelstra Dutch mathematician

Anne Sjerp Troelstra matemático neerlandés

Anne Troelstra mathématicien néerlandais

Anne Troelstra niederländischer Mathematiker

Sjerp Troelstra Anne

Troelstra, A. S.

Troelstra, A. S. 1939-

Troelstra, Anne 1939-

Troelstra, Anne S.

Troelstra, Anne S. 1939-

Troelstra, Anne Sjerp

Troelstra, Anne Sjerp 1939-

Languages
English (220)

Dutch (7)

German (3)

Covers
Principles of intuitionismBasic proof theoryMetamathematical investigation of intuitionistic arithmetic and analysisHandbook of mathematical logic