Search Results for MATHEMATICS / Logic

1.

A treatise on induction and probability

Author

Wright, Georg Henrik von, 1916-

Preferred Shelf Number

BC 91 W72 1951 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

2.

Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction

Author

Nicod, Jean, 1893-1924.

Preferred Shelf Number

QA 681 N5 1930 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

3.

Logical studies

Author

Wright, Georg Henrik von, 1916-

Preferred Shelf Number

BC 6 W72 1957 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

4.

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:

5.

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:

6.

The technique of controversy : principles of dynamic logic

Author

Bogoslovsky, Boris Basil, 1890-

Preferred Shelf Number

BC 108 B65 1928 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

7.

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:

8.

Cylindric algebras

Author

Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.

Preferred Shelf Number

QA 9 H415 1971- V.1

Format:

Availability

Beytepe Library~1

Available:
Copies:

9.

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:

10.

Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings

Author

Huang, Yueh-Min. editor. (orcid) Rocha, Tânia. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520965.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Foundation Mathematics for Computer Science A Visual Approach

Author

Vince, John. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520271.1)

Electronic Access

https://doi.org/10.1007/978-3-031-17411-7

Format:

Availability

Online Library~1

Available:
Copies:

12.

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:

13.

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings

Author

Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520823.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Mathematics for Computer Scientists A Practice-Oriented Approach

Author

Hartmann, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520344.1)

Electronic Access

https://doi.org/10.1007/978-3-658-40423-9

Format:

Availability

Online Library~1

Available:
Copies:

15.

Prolog: The Next 50 Years

Author

Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.

Preferred Shelf Number

XX(521397.1)

Electronic Access

https://doi.org/10.1007/978-3-031-35254-6

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}