Your search returned 4 results.

Sort
Results
Fundamentals of generalized recursion theory

by Fitting, Melvin | .

Series: Edition: Language: English Publication details: Amsterdam ; North-Holland, ; 1981Availability: Items available for loan: 1 Call number: 517.1 Fit.

First-order logic and automated theorem proving

by Fitting, Melvin | .

Series: Edition: Language: English Publication details: ; New York, Springer-Verlag, ; 1990Availability: Items available for loan: 1 Call number: 681.3:517.1 Fit.

First-order logic and automated theorem proving

by Fitting, Melvin | .

Series: Edition: 2nd ed Language: English Publication details: ; New York : Springer-Verlag, 1996 ; 1996Availability: Items available for loan: 1 Call number: 681.3:517.1 Fit(2).

Set theory and the continuum problem

by Smullyan, Raymond M | Fitting, Melvin [Author].

Language: English Publication details: Oxford Clarendon press 1996Availability: Items available for loan: 1 Call number: 519.5 Smu.

Pages

Powered by Koha