WorldCat Identities

Truss, J. K.

Overview
Works: 15 works in 100 publications in 1 language and 2,726 library holdings
Genres: Conference proceedings 
Roles: Author, Editor
Classifications: QA248, 511.3
Publication Timeline
.
Most widely held works by J. K Truss
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 by Logic Colloquium( )
17 editions published in 1999 in English and held by 1,182 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( )
16 editions published in 1999 in English and held by 787 WorldCat member libraries worldwide
Second of two volumes providing a comprehensive guide to the current state of mathematical logic
Discrete mathematics for computer scientists by J. K Truss( Book )
28 editions published between 1961 and 2010 in English and held by 437 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
Foundations of mathematical analysis by J. K Truss( Book )
9 editions published in 1997 in English and held by 229 WorldCat member libraries worldwide
Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 by Kingston-upon-Hull) Logic Colloquium (1986( Book )
12 editions published in 1988 in English and Undetermined and held by 38 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 Torrezão de Sousa( Book )
7 editions published in 2008 in English and Undetermined and held by 22 WorldCat member libraries worldwide
Logic Colloquium '86 Proceedings by F. R Drake( )
2 editions published in 1987 in English and held by 11 WorldCat member libraries worldwide
Sets and Proofs by S. B Cooper( )
1 edition published in 1999 in English and held by 10 WorldCat member libraries worldwide
Unification for nilpotent groups of class 2 by E. K 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."
Foundations of mathematical analysis / J.K. Truss by J. K Truss( )
in English and held by 2 WorldCat member libraries worldwide
Incluye índice
Discrete mathematics for computer scientists / J. K. Truss by J. K Truss( )
in English and held by 1 WorldCat member library worldwide
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
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 Logic Colloquium( )
1 edition published in 1999 in English and held by 1 WorldCat member library worldwide
Logic colloquium '86 : proc. of the Colloquium held in Hull, U. K. , July 13-19, 1986 ( Book )
1 edition published in 1988 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.59 (from 0.00 for Models and ... to 0.85 for Logic Coll ...)
Alternative Names
Truss, J. K.
Truss, John K.
Truss, John. K. 1947-...
Languages
English (98)
Covers