Your search returned 4 results.

Not what you expected? Check for suggestions
BOOKS
Aufzahlbarkeit entscheidbarkeit berechenbarkeit

by Hermes, Hans.

Material type: Text Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:36 Shelf No:5 Call number: 519.8 HER.

BOOKS
Enumerability decidability computability

by Hermes, Hans.

Material type: Text Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:36 Shelf No:5 Call number: 519.8 HER.

BOOKS
Introduction to Mathematical Logic

by Hermes, Hans.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1973Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HER.

E-BOOKS
Eine Termlogik mit Auswahloperator [electronic resource] / by Hans Hermes.

by Hermes, Hans [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics, An informal series of special lectures, seminars and reports on mathematical topics ; 6Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1965Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha