17 titles from eBooks.com

US$24.57

This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011. The chapters cover topics in mathematical and philosophical logic that examine various aspects of the foundations of mathematics. The theme of the volume focuses on...

This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute...

Amsterdam University Press (2008)

US$57.50

Collection of revised papers originally presented at the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT2006).

Collection of revised papers originally presented at the 7th Conference on Logic and the Foundations...

Cambridge University Press (2007)

US$88.99

This 2007 volume includes surveys, tutorials, and selected research papers on advances in logic.

This 2007 volume includes surveys, tutorials, and selected research papers on advances in logic.

Cambridge University Press (1995)

US$66.50

This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.

This volume gives an overview of linear logic that will be useful to mathematicians and computer...

Cambridge University Press (1999)

US$62.99

Second of two volumes providing a comprehensive guide to the current state of mathematical logic.

Second of two volumes providing a comprehensive guide to the current state of mathematical logic.

Elsevier Science (2000)

US$175.00

Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume. The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages.

Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic...

Elsevier Science (1989)

US$72.95

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. As well as selected papers, the two panel discussions are also included, on ``Trends in Logic'' and ``The Teaching of Logic''.

The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives...

Elsevier Science (2000)

US$275.00

Provability, Computability and Reflection

Provability, Computability and Reflection

Elsevier Science (2000)

US$275.00

Provability, Computability and Reflection

Provability, Computability and Reflection

Elsevier Science (2000)

US$275.00

Provability, Computability and Reflection

Provability, Computability and Reflection