WorldCat Identities

Troelstra, A. S. (Anne Sjerp)

Overview
Works: 81 works in 323 publications in 3 languages and 3,732 library holdings
Genres: Conference papers and proceedings  History  Bibliography 
Roles: Author, Editor, 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 )

57 editions published between 1988 and 2004 in English and Undetermined and held by 542 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
Basic proof theory by A. S Troelstra( Book )

24 editions published between 1996 and 2003 in English and held by 498 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
Principles of intuitionism by A. S Troelstra( Book )

39 editions published between 1969 and 2007 in 3 languages and held by 496 WorldCat member libraries worldwide

Metamathematical investigation of intuitionistic arithmetic and analysis by A. S Troelstra( Book )

25 editions published between 1973 and 2008 in 3 languages and held by 433 WorldCat member libraries worldwide

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

15 editions published between 1974 and 1977 in 3 languages and held by 417 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 )

19 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 207 WorldCat member libraries worldwide

Intuitionistic general topology by A. S Troelstra( Book )

10 editions published in 1966 in 3 languages and held by 31 WorldCat member libraries worldwide

Omega-Bibliography of mathematical logic by G. H Müller( Book )

14 editions published in 1987 in English and held by 29 WorldCat member libraries worldwide

Gert H. Müller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists some where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg 11. Non-classical Logics W. Rautenberg 111. Model Theory H.-D. Ebbinghaus IV. Recursion Theory P.G. Hinman V. Set Theory A.R. Blass VI. ProofTheory; Constructive Mathematics J.E. Kister; D. van Dalen & A.S. Troelstra
Van Spitsbergen naar Suriname : Nederlandse natuurhistorische reisverhalen( Book )

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

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

1 edition published in 2003 in Undetermined and held by 19 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 16 WorldCat member libraries worldwide

Handbook of mathematical logic by Jon Barwise( Book )

1 edition published in 1977 in English and held by 9 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
Notes on intuitionistic second order arithmetic by A. S Troelstra( Book )

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

Non-linear systems analysis in electro-retinography by Anne Troelstra( Book )

2 editions published in 1964 in English and held by 6 WorldCat member libraries worldwide

Marginalia on sequent calculi by A. S Troelstra( Book )

1 edition published in 1998 in English and held by 5 WorldCat member libraries worldwide

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

2 editions published in 1975 in English and held by 5 WorldCat member libraries worldwide

Concepts and axioms by A. S Troelstra( Book )

1 edition published in 1998 in English and held by 5 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.59 for Handbook o ... to 0.90 for Van Spitsb ...)

Constructivism in mathematics : an introduction
Alternative Names
Anne Sjerp Troelstra

Anne Sjerp Troelstra Dutch mathematician

Anne Troelstra niederländischer Mathematiker

Sjerp Troelstra Anne

Troelstra, A. S.

Troelstra, A. S. 1939-

Troelstra, Anne 1939-

Troelstra, Anne S. 1939-

Troelstra, Anne Sjerp

Troelstra, Anne Sjerp 1939-

Languages
English (211)

Dutch (6)

German (4)

Covers
Basic proof theoryPrinciples of intuitionismMetamathematical investigation of intuitionistic arithmetic and analysisHandbook of mathematical logic