 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 10 von 100  |
| ||
 |
Ihre Aktion | Suchen (Schriftenreihe (XSRR)) 130710032 |
||
| |
| |
| |
|
|
|
|
 |
1. |
Quantification in nonclassical ... ; Vol. 1 Gabbay, Dov M. *1945-*. - 1. ed. - 2009 |
|
| |||
|
2. |
Realizability : an introduction to its categorical side Oosten, Jaap van. - Amsterdam : Elsevier, 2008 |
|
| |||
|
3. |
Residuated lattices : an algebraic glimpse at substructural logics Galatos, Nikolaos. - Transferred to digital printing 2007, 1. ed. - Amsterdam [u.a.] : Elsevier, 2007 |
|
| |||
|
4. |
Relation algebras Maddux, Roger D.. - 1. ed. - Amsterdam : Elsevier, 2006 |
|
| |||
|
5. |
Lectures on the Curry-Howard isomorphism Sørensen, Morten Heine. - 1st ed. - Amsterdam : Elsevier, 2006 |
|
| |||
|
6. |
Many-dimensional modal logics : theory and applications Gabbay, Dov M. *1945-*. - 1. ed. - Amsterdam : Elsevier, 2003 |
|
| |||
|
7. |
Relation algebras by games Hirsch, Robin. - 1. ed. - Amsterdam [u.a.] : Elsevier, 2002 |
|
| |||
|
8. |
Rudiments of [my]-calculus Arnold, André. - 1. ed. - Amsterdam [u.a.] : Elsevier, 2001 |
|
| |||
|
9. |
Theory of relations : revised edition Fraïssé, Roland. - 1. ed. - Amsterdam [u.a.] : Elsevier, 2000 |
|
| |||
|
10. |
Computable structures and the hyperarithmetical hierarchy Ash, Chris J.. - 1st ed. - Amsterdam [u.a.] : Elsevier, 2000 |
|
| |||
| ||||||||||||||||||||||||||
| ||||||||||||||||||||||||||
| ||||||||||||||||||||||||||
|
1 - 10 von 100 |
|
|
|
1 - 10 von 100 |
|
||||||||||||||||||||