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
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
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
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
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 1319, 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
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
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 pgroups."
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 pgroups."
Logic colloquium '86 : proceedings of the colloquium held in hull, u.k. july 1319,1986 : proceedings of the colloquium held
in hull, u.k. july 1319,1986(
Book
)
2 editions published in 1988 in English and held by 2 WorldCat member libraries worldwide
2 editions published in 1988 in English and held by 2 WorldCat member libraries 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
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
1 edition published in 1999 in English and held by 1 WorldCat member library worldwide
Countable 1transitive coloured linear orderings by Gabriela CamperoArena(
)
1 edition published in 2004 in English and held by 1 WorldCat member library worldwide
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
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
1 edition published in 1999 in English and held by 0 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Cooper, S. B. (S. Barry) Other Author Editor
 Association for Symbolic Logic Other Editor
 Drake, Frank R. Editor
 Torrezão de Sousa, Susana Author
 Logic Colloquium 1997 Leeds
 Paris Logic Group
 London Mathematical Society
 Association for Symbolic Logic European Summer Meeting (1986 Hull, U. K.)
 Burke, E. K. Author
 Drake, F. D.
Associated Subjects
Alternative Names
Truss, J. K.
Truss, John K.
Truss, John. K. 1947...
Languages
Covers