Your search returned 11 results.

Sort
Results
1.
Finite model theory Heinz-Dieter Ebbinghaus, Jorg Flum by Series: Perspectives in mathematical logic
Publication details: Berlin Springer 1995
Availability: Items available for loan: IMAR (1)Call number: II 33666.

2.
Metamatematics of first - order arithmetic Petr Hajek, Pavel Pudlak by Series: Perspectives in mathematical logic
Publication details: Berlin Springer 1998
Availability: Items available for loan: IMAR (1)Call number: II 33781.

3.
Model-theoretic logics J. Barwise, S. Feferman by Series: Perspectives in mathematical logic
Publication details: New York Springer-Verlag 1985
Availability: Items available for loan: IMAR (1)Call number: II 28768.

4.
Constructibility Keith J. Devlin by Series: Perspectives in mathematical logic
Publication details: Berlin New York Springer-Verlag 1984
Availability: Items available for loan: IMAR (1)Call number: II 28767.

5.
Recursively enumerable sets and degrees a study of computable functions and computably generated sets Robert I. Soare by Series: Perspectives in mathematical logic
Publication details: Berlin New York Springer-Verlag c1987
Other title:
  • Enumerable sets and degrees
Availability: Items available for loan: IMAR (1)Call number: II 29726.

6.
Degrees of unsolvability local and global theory Manuel Lerman by Series: Perspectives in mathematical logic
Publication details: Berlin New York Springer-Verlag 1983
Availability: Items available for loan: IMAR (1)Call number: II 27703.

7.
General recursion theory an axiomatic approach Jens E. Fenstad by Series: Perspectives in mathematical logic
Publication details: New York Springer 1980
Availability: Items available for loan: IMAR (1)Call number: II 24065.

8.
Recursion-Theoretic Hierarchies Peter G. Hinman by Series: Perspectives in Mathematical Logic
Publication details: Berlin Springer-Verlag 1978
Availability: Items available for loan: IMAR (1)Call number: II 21447.

9.
Basic Set Theory Azriel Levy by Series: Perspectives in Mathematical Logic
Publication details: Berlin: Springer-Verlag, 1979
Availability: Items available for loan: IMAR (1)Call number: II 21448.

10.
Admissible sets and structures an approach to definability theory Jon Barwise by Series: Perspectives in mathematical logic
Publication details: Berlin New York Springer-Verlag 1975
Availability: Items available for loan: IMAR (2)Call number: II 18130, ...

11.
Fundamentals of stability theory John T. Baldwin by Series: Perspectives in mathematical logic
Publication details: Berlin ; New York : Springer-Verlag, c1988
Availability: Items available for loan: IMAR (1)Call number: 511.8-BAL.

Pages

Powered by Koha