 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 10 von 30  |
| ||
 |
Ihre Aktion | Suchen (Schlagwörter GND (Phrase) (XSP)) algebra der logik eingrenzen (Basisklassifikation (XBKL)) 31.11 |
||
| |
| |
| |
|
|
|
|
 |
1. |
Infinitary Logic: In Memoriam Carol Karp : A Collection of Papers by Various Authors Kueker, David W.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1975 
|
|
| |||
|
2. |
Toposes, Algebraic Geometry and Logic : Dalhousie University, Halifax, January 1619, 1971 Bucur, Ion *1930-1976*. - Berlin, Heidelberg : Springer, 1972
|
|
| |||
|
3. |
Degrees of Unsolvability: Structure and Theory Epstein, Richard L.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1979
|
|
| |||
|
4. |
Extensional Gödel Functional Interpretation : A Consistency Proof of Classical Analysis Luckhardt, Horst. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1973
|
|
| |||
|
5. |
Computation Theory and Logic Börger, Egon *1946-*. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1987 |
|
| |||
 |
6. |
Degrees of unsolvability : structure and theory Epstein, Richard L. *1947-*. - Berlin : Springer, 1979 |
|
| |||
|
7. |
Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers Schröder, Bernd S. W. *1966-*. - Hoboken, New Jersey : Wiley, 2010
|
|
| |||
|
8. |
Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 Paris, Jeff B.. - Amsterdam : North-Holland, 1986
|
|
| |||
|
9. |
Computation theory and logic Börger, Egon. - Online-Ausg.. - Berlin [u.a.] : Springer, 1987 |
|
| |||
|
10. |
Mathematical logic Tourlakis, George J.. - Hoboken, NJ : Wiley, 2008 |
|
| |||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
|
1 - 10 von 30 |
|
|
|
1 - 10 von 30 |
|
|||||||||||||||||||||||||