|
|
1.
|
Artificial intelligence and symbolic mathematical computing [Book :]International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings / Jacques Calmet, John A. Campbell (eds).
von International Conference AISMC-1 (1992 : Karlsruhe, Germany) | Calmet, Jacques | Campbell, J. A, 1940-. Materialtyp:  Buch; Format:
Druck ; Literarische Form:
Sachliteratur Verlag: Berlin ; New York : Springer-Verlag, c1993Verfügbarkeit: Ausleihbare Exemplare: 6october [Signatur: 006.3 C A] (1).
|
|
|
2.
|
From logic to computing [[Book] /]Robert P. McArthur.
von McArthur, Robert P, 1944-. Materialtyp: Buch; Format:
Druck ; Literarische Form:
Sachliteratur Verlag: Belmont, Calif. : Wadsworth Pub. Co., 1991Verfügbarkeit: Ausleihbare Exemplare: 6october [Signatur: 004.015113 MF] (1).
|
|
|
3.
|
The logic book [[Book] /]Merrie Bergmann, James Moor, Jack Nelson.
von Bergmann, Merrie | Moor, James, 1942- | Nelson, Jack, 1944-. Auflage: 2nd ed.Materialtyp: Buch; Format:
Druck ; Literarische Form:
Sachliteratur Verlag: New York : McGraw Hill, 1998Verfügbarkeit: Ausleihbare Exemplare: 6october [Signatur: 160 B T] (1).
|
|
|
4.
|
Mathematical logic for computer science [[Book] /]Mordechai Ben-Ari.
von Ben-Ari, M, 1948-. Auflage: 2nd ed.Materialtyp: Buch; Format:
Druck ; Literarische Form:
Sachliteratur Verlag: London ; New York : Springer, 2003, c2001Online-Ressourcen: Publisher description | Table of contents only Verfügbarkeit: Ausleihbare Exemplare: 6october [Signatur: 511.3 B M] (1).
|
|
|
5.
|
Logic, sets, and recursion [[Book] /]Robert L. Causey.
von Causey, Robert L. Auflage: 2nd ed.Materialtyp: Buch; Format:
Druck ; Literarische Form:
Sachliteratur Verlag: Sudbury, Mass. : Jones and Bartlett Publishers, c2006Verfügbarkeit: Ausleihbare Exemplare: 6october [Signatur: 511.3 CL] (1).
|
|
|
6.
|
Logic, sets, and recursion [[Book] /]Robert L. Causey.
von Causey, Robert L | Causey, Robert L. Auflage: Rev. ed.Materialtyp: Buch; Format:
Druck ; Literarische Form:
Sachliteratur Verlag: Sudbury, Mass. : Jones and Bartlett, c2001Verfügbarkeit: Ausleihbare Exemplare: 6october [Signatur: 515 R L] (1).
|
|
|
7.
|
Introduction to mathematical logic [[Book] /]Elliott Mendelson.
von Mendelson, Elliott | Mendelson, Elliott. Materialtyp: Buch; Format:
Druck ; Literarische Form:
Sachliteratur Verlag: new york : D. Van Nostrand company, inc, c1964Verfügbarkeit: Ausleihbare Exemplare: 6october [Signatur: 511.3 MI] (1).
|
