Your search returned 2 results.

Sort
Results
1.
Computability, complexity, logic/ E. Börger. by
  • Borger, E. (Egon), 1946-
Series: Studies in logic and the foundations of mathematics ; v. 128.
Language: engger
Publication details: Amsterdam ;: New York: New York: North-Holland, U.S.A. and Canada; Elsevier, 1989
Availability: Items available for loan: Castorina (1)Call number: 511.3 B732c 1989 IMPA.

2.
Logic and machines: decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der UniversitÌat Münster/Westfalen/ edited by E. Börger, G. Hasenjaeger, and D. Rödding. by
  • Symposium "Rekursive Kombinatorik" (1983 : Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen)
  • Borger, E. (Egon), 1946-
  • Hasenjaeger, G. (Gisbert), 1919-
  • Rödding, D. (Dieter), 1937-
Series: Lecture notes in computer science ; 171.
Publication details: Berlin ; New York: Springer-Verlag, 1984
Availability: Items available for loan: Castorina (1).

Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha