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 Biobibliography History 
Roles:  Author, Editor, Compiler, Thesis advisor 
Classifications:  QA9, 511.3 
Publication Timeline
.
Most widely held works about
A. S Troelstra
 Commemorative Symposium Dedicated to Anne S. Troelstra on the Occasion of his 60th Birthday : September 1618, 1999, Noordwijkerhout, the Netherlands by Anne S. Troelstra Commemorative Symposium( Book )
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 finitetype arithmetic and theories of operators. Discussions focus on intuitionistic finitetype 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
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 finitetype arithmetic and theories of operators. Discussions focus on intuitionistic finitetype 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
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 firstorder logic. Examples are given of several areas of application, namely the metamathematics of pure firstorder logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; firstorder arithmetic and secondorder 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 firstorder logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence."Jacket
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 firstorder logic. Examples are given of several areas of application, namely the metamathematics of pure firstorder logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; firstorder arithmetic and secondorder 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 firstorder 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
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
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, 813 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
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
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
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
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
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
2 editions published in 2003 in Dutch and Undetermined and held by 22 WorldCat member libraries worldwide
Kolibries in de oren : natuurhistorische reisverhalen 17001950 by
A. S Troelstra(
Book
)
1 edition published in 2009 in Dutch and held by 15 WorldCat member libraries worldwide
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 nonspecialists 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
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 nonspecialists 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
Omegabibliography of mathematical logic by
G. H Müller(
Book
)
2 editions published in 1987 in English and held by 13 WorldCat member libraries worldwide
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
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
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
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
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
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
4 editions published in 1971 in English and held by 6 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Dalen, D. van (Dirk) 1932 Other Editor
 Schwichtenberg, Helmut 1942
 Brouwer, L. E. J. (Luitzen Egbertus Jan) 18811966 Other Honoree Dedicatee
 Müller, G. H. (Gert Heinz) 1923 Author Editor
 SpringerLink (Service en ligne)
 Kister, Jane E. Editor
 Lenski, Wolfgang 1952 Editor
 Kister, Jane E. Editor
 Moschovakis, Yiannis N. Editor
 Kunen, Kenneth
Useful Links
Associated Subjects
Axioms Brouwer, L. E. J.(Luitzen Egbertus Jan), Constructive mathematics Heyting, A.(Arend), Intuitionistic mathematics Logic Logic, Symbolic and mathematical Mathematics Model theory Natural history Naturalists NaturalistsTravel Proof theory Scientific expeditions Sequences (Mathematics) Topology Travel
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
Covers