Robin Hirsch and Ian Hodkinson

(1 - 7 from 8

)

Robin Hirsch, Ian Hodkinson & Roger D. Maddux, Provability with...

philpapers.org

For every finite n ≥ 4 there is a logically valid sentence φ n with the following properties: φ n contains only 3 variables (each of which occurs many times); φ

Relation Algebras by Games - Robin Hirsch, Ian Hodkinson - Google...

books.google.de

Relation algebras are algebras arising from the study of binary relations.They form a part of the field of algebraic logic, and have applications in proof...

Relation Algebras by Games , by Robin Hirsch and Ian Hodkinson,...

www.deepdyve.com

Book Review Relation Algebras by Games, by Robin Hirsch and Ian Hodkinson, Studies in Logic and the Foundations of Mathematics, Volume 147, North-Holland, 2002, ISBN

All web results to the name "Robin Hirsch"

Review: Relation algebras by games: Robin Hirsch, Ian Hodkinson:...

www.bibsonomy.org

The blue social bookmark and publication sharing system.

festschriften.illc.uva.nl

Synthesising Axioms by Games. Robin Hirsch. Department of Computer Science University Colege Gower Street London WC1E 6BT, UK .ac.uk

Robin Hirsch and Ian Hodkinson. Relation algebras by games. Elsevier,...

www.cambridge.org

Robin Hirsch and Ian Hodkinson. Relation algebras by games. Elsevier, Amsterdam, 2002, xviii + 691 pp. - Volume 9 Issue 4 - Roger D. Maddux

Ian Hodkinson: all publications

www.doc.ic.ac.uk

Robin Hirsch and Ian Hodkinson Completions and complete representations. In: Cylindric-like Algebras and Algebraic Logic H. Andréka, M. Ferenczi, I. Németi ...

Related search requests for Robin Hirsch

Oliver Sacks
Katie Speer
Robin Smith Hirsch

Person "Hirsch" (5)
Forename "Robin" (30338)
Name "Hirsch" (2958)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Robin Hirsch and Ian Hodkinson Free People Check