 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 10 von 11  |
| ||
 |
Ihre Aktion | Suchen (Schlagwörter GND (Phrase) (XSP)) effektive logik eingrenzen (Basisklassifikation (XBKL)) 31.10 |
||
| |
| |
| |
|
|
|
|
 |
1. |
Intuitionism vs. classicism : a mathematical attack on classical logic Haverkamp, Nick. - Frankfurt am Main : Klostermann, 2015 |
|
| |||
|
2. |
The development of modern logic Haaparanta, Leila *1954-*. - Oxford [u.a.] : Oxford Univ. Press, 2009 
|
|
| |||
 |
3. |
Lectures on the Curry-Howard isomorphism Sørensen, Morten Heine. - 1st ed. Online-Ausg.]. - Amsterdam : Elsevier, 2006 |
|
| |||
|
4. |
Lectures on the Curry-Howard isomorphism Sørensen, Morten Heine. - 1st ed. - Amsterdam : Elsevier, 2006 |
|
| |||
|
5. |
Computing interpolants in implicational logics. Kanazawa, Makoto. - Tokyo : National Institute of Informatics, 2005 |
|
| |||
|
6. |
Logicism renewed : logical foundations for mathematics and computer science Gilmore, Paul Carl. - La Jolla, Calif. : Association for Symbolic Logic, c 2005 |
|
| |||
|
7. |
Aspects of refutation procedures in the intuitionistic logic and related modal systems Skura, Tomasz. - Wrocław : Wydawn. Uniw. Wrocławskiego, 1999 |
|
| |||
|
8. |
Intuitionismus und Relevanz Šramko, Jaroslav Vladyslavovyč *1963-*. - Berlin : Logos, [1999] |
|
| |||
|
9. |
Logic and structure Dalen, Dirk van *1932-*. - 3., augmented ed. - Berlin : Springer, 1994 |
|
| |||
|
10. |
The Logic of Information Structures Wansing, Heinrich *1963-*. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1993 |
|
| |||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
|
1 - 10 von 11 |
|
|
|
1 - 10 von 11 |
|
|||||||||||||||||||||||||