WorldCat Identities

Truss, J. K.

Overview
Works: 13 works in 108 publications in 1 language and 2,923 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Other
Classifications: QA9.A1, 511.3
Publication Timeline
.
Most widely held works by J. K Truss
Discrete mathematics for computer scientists by J. K Truss( Book )

34 editions published between 1961 and 2010 in English and held by 454 WorldCat member libraries worldwide

This is a new and updated edition of John Truss' successful introduction to discrete mathematics for computer scientists. The book adopts a rigorous approach to mathematical concepts, and contains over 700 practical exercises
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 by Logic Colloquium( Book )

16 editions published in 1999 in English and held by 275 WorldCat member libraries worldwide

Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 by S. B Cooper( Book )

16 editions published in 1999 in English and held by 258 WorldCat member libraries worldwide

Second of two volumes providing a comprehensive guide to the current state of mathematical logic
Foundations of mathematical analysis by J. K Truss( Book )

11 editions published in 1997 in English and held by 231 WorldCat member libraries worldwide

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 by F. R Drake( Book )

15 editions published between 1987 and 1988 in English and Undetermined and held by 43 WorldCat member libraries worldwide

The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. Important new developments in the applications of logic in computer science are presented. Other areas examined include model theory, set theory, recursion theory, proof theory, and the history of logic. This volume contains the texts of ten of the invited lectures and six of the contributed papers
Countable homogeneous coloured partial orders by Susana Torrezo de Sousa( Book )

7 editions published in 2008 in English and Undetermined and held by 22 WorldCat member libraries worldwide

Unification for nilpotent groups of class 2 by Edmund Burke( Book )

2 editions published in 1991 in English and held by 3 WorldCat member libraries worldwide

Abstract: "In this paper we consider unification for theories of nilpotent groups of class 2. We use a unification algorithm for abelian groups constructed by Lankford, Butler, and Brady [5]. The method consists of passing to the quotient by the commutator subgroup (abelianizing), applying their algorithm and lifting the solution to the free nilpotent group of class 2. There are certain unification problems however where this does not work as it stands, and special treatment is required, involving the solutions of a restricted class of quadratic diophantine equations. We also make some remarks about unification and equation solving in nilpotent groups of higher class and relate the work to Martin's result [7] on special p-groups."
Models and computability : invited papers from logic colloquium '97 : European Meeting of the Association for Symbolic Logic by Logic Colloquium '97( )

1 edition published in 1999 in English and held by 1 WorldCat member library worldwide

Sets and proofs by Logic Colloquium( )

1 edition published in 1999 in English and held by 1 WorldCat member library worldwide

Countable 1-transitive coloured linear orderings by Gabriela Campero-Arena( )

1 edition published in 2004 in English and held by 1 WorldCat member library worldwide

O aksjomacie wyboru dla rodzin zbiorów skończonych by J. K Truss( Book )

1 edition published in 1978 in English and held by 1 WorldCat member library worldwide

Sets and Proofs by S. B Cooper( )

1 edition published in 1999 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.41 (from 0.03 for Sets and p ... to 0.99 for Countable ...)

Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997Sets and proofs
Alternative Names
Truss, J. K.

Truss, John K.

Truss, John. K. 1947-...

Languages
English (106)

Covers
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997Foundations of mathematical analysisModels and computability : invited papers from logic colloquium '97 : European Meeting of the Association for Symbolic LogicSets and proofs