Search Results for Mathematical logic.

624 Results Found

1 2 3 4 5 .. 52

000000000000DEFAULT

13.

A Concise Introduction to Mathematical Logic

Author

Rautenberg, Wolfgang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-34241-9

Format:

Availability

Online Library~1

Available:
Copies:

14.

Mathematical logic and programming languages

Author

Hoare, C. A. R., ed. Shepherdson, J. C., ed.

Preferred Shelf Number

QA 9 M42 1985

Format:

Availability

Beytepe Library~1

Available:
Copies:

15.

A mathematical introduction to logic

Author

Enderton, Herbert B.

Preferred Shelf Number

QA 9 E54 1972

Format:

Availability

Beytepe Library~1

Available:
Copies:

16.

A profile of mathematical logic

Author

DeLong, Howard, 1936-

Preferred Shelf Number

QA 9 B37 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

17.

An introduction to mathematical logic

Author

Robinson, Gerson B., 1909-

Preferred Shelf Number

QA 9 R72 1969

Format:

Availability

Beytepe Library~1

Available:
Copies:

18.

Elements of mathematical logic (Model theory)

Author

Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444534125

Format:

Availability

Online Library~1

Available:
Copies:

19.

A survey of mathematical logic

Author

Wang, Hao, 1921-

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533982

Format:

Availability

Online Library~1

Available:
Copies:

20.

The development of mathematical logic

Author

Nidditch, P. H.

Preferred Shelf Number

BC 135 N5 1962

Format:

Availability

Beytepe Library~2

Available:
Copies:

21.

The elements of mathematical logic

Author

Rosenbloom, Paul C.

Preferred Shelf Number

BC 135 R7236 1950

Format:

Availability

Beytepe Library~1

Available:
Copies:

22.

A Course in Mathematical Logic for Mathematicians

Author

Manin, Yu. I. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-0615-1

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

Author

Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile) Arruda, A. I. (Ayda Ignez) Chuaqui, R. Costa, Newton C. A. da.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444854025

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976

Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976

Author

Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas) Arruda, A. I. (Ayda Ignez) Costa, Newton C. A. da. Chuaqui, R.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720407525

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 52

	{displayName}	{count}
{error}