 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 5 von 5 |
| ||
 |
Ihre Aktion | Suchen (Schlagwörter GND (Phrase) (XSP)) kalkülsprache eingrenzen (Basisklassifikation (XBKL)) 31.10 |
||
| |
| |
| |
|
|
|
|
 |
1. |
Denken in Strukturen und seine Geschichte : von der Kraft des mathematischen Beweises Honerkamp, Josef *1941-2022*. - Berlin : Springer, [2018] |
|
| |||
|
2. |
Kalkül und Sprache : Freges und Wittgensteins Überlegungen zur Bedeutung formaler Sprachen im Verhältnis zur modelltheoretischen Tradition Janzen, Jan. - Würzburg : Königshausen & Neumann, 2011 |
|
| |||
|
3. |
Introduction to languages, machines and logic : computable languages, abstract machines and formal logic Parkes, Alan. - London : Springer, 2002 |
|
| |||
|
4. |
Non-well-founded sets Aczel, Peter. - Menlo Park, Calif. : Center for the Study of Language and Information, 1988 |
|
| |||
|
5. |
Transductions and context-free languages Berstel, Jean *1941-*. - Stuttgart : Teubner, 1979 |
|
| |||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
|
1 - 5 von 5 |
|
|
|
1 - 5 von 5 |
|
|||||||||||||||||||||||||