Search Results for Mathematical logic.

624 Results Found

1 2 3 4 5 6 .. 52

000000000000DEFAULT

37.

The axiomatic method : an introduction to mathematical logic

Author

Lightstone, A. H.

Preferred Shelf Number

QA 248 L53 1964

Format:

Availability

Beytepe Library~1

Available:
Copies:

38.

The foundations of mathematics

Author

Kunen, Kenneth.

Preferred Shelf Number

QA9 K796 2012

Format:

Availability

Beytepe Library~1

Available:
Copies:

39.

Set theory

Author

Kunen, Kenneth.

Preferred Shelf Number

QA248 K858 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

40.

An examination of logical positivism

Author

Weinberg, Julius Rudolf, 1908-

Preferred Shelf Number

B 824.6 W434 1936 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

41.

The logical syntax of language

Author

Carnap, Rudolf, 1891-1970.

Preferred Shelf Number

BC 135 C323 1937 P (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

42.

The foundations of mathematics : and other logical essays

Author

Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.

Preferred Shelf Number

QA 9 R23 1931

Format:

Availability

Beytepe Library~1

Available:
Copies:

43.

The nature of mathematics : a critical survey

Author

Black, Max, 1909-

Preferred Shelf Number

QA 9 B62 1933 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

44.

The limits of science : outline of logic and of the methodology of the exact sciences

Author

Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-

Preferred Shelf Number

Q 175 C494 1948 A (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

45.

Cover image for Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers

Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers

Author

Gibadullin, Arthur. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520219.1)

Electronic Access

https://doi.org/10.1007/978-3-031-31353-0

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Towards new e-Infrastructure and e-Services for Developing Countries 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings

Towards new e-Infrastructure and e-Services for Developing Countries 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings

Author

Saeed, Rashid A. editor. Bakari, Abubakar D. editor. Sheikh, Yahya Hamad. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520477.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34896-9

Format:

Availability

Online Library~1

Available:
Copies:

47.

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

Author

O'Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520574.1)

Electronic Access

https://doi.org/10.1007/978-3-031-26212-8

Format:

Availability

Online Library~1

Available:
Copies:

48.

The Semantic Web 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings

Author

Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472 Fernández, Miriam. editor. (orcid)0000-0001-5939-4321 Janowicz, Krzysztof. editor. Zaveri, Amrapali. editor. Gray, Alasdair J.G. editor. (orcid)0000-0002-5711-4872

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-21348-0

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 6 .. 52

	{displayName}	{count}
{error}