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
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
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
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
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 1319, 1986
by
KingstonuponHull) 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
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
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
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
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 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."
Foundations of mathematical analysis / J.K. Truss
by
J. K Truss(
)
in English and held by 2 WorldCat member libraries worldwide
Incluye índice
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
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
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
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
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 1319, 1986
(
Book
)
1 edition published in 1988 in English and held by 1 WorldCat member library worldwide
1 edition published in 1988 in English and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

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