 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 5 von 5 |
| ||
 |
Ihre Aktion | Suchen (Schlagwörter GND (Phrase) (XSP)) algebra der logik eingrenzen (Basisklassifikation (XBKL)) 31.23 |
||
| |
| |
| |
|
|
|
|
 |
1. |
Logic in algebraic form : Three languages and theories Craig, William. - Online-Ausg.. - Amsterdam : North-Holland Pub. Co, 2010 |
|
| |||
 |
2. |
Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá Caicedo, Xavier. - New York : Dekker, c 1999 |
|
| |||
|
3. |
Matrix logic Stern, August. - Amsterdam [u.a.] : North-Holland, 1988 |
|
| |||
|
4. |
Introduction to higher order categorical logic Lambek, Joachim *1922-2014*. - Cambridge [u.a.] : Cambridge Univ. Press, 1986 |
|
| |||
|
5. |
Logic in algebraic form : three languages and theories Craig, William. - Amsterdam [u.a.] : North-Holland, 1974 |
|
| |||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
|
1 - 5 von 5 |
|
|
|
1 - 5 von 5 |
|
|||||||||||||||||||||||||