Search Results for MANTIK, SEMBOLİK VE MATEMATİKİ.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

72 Results Found

1 2 3 4 5 6

000000000000DEFAULT

49.

Cover image for Proceedings of the Summer School in Logic Leeds, 1967 ; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic

Proceedings of the Summer School in Logic Leeds, 1967 ; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic

Author

Summer School in Logic (1967 : Leeds, Eng.) Löb, M. H., ed.

Preferred Shelf Number

QA 248 SU64 1968

Format:

Availability

Beytepe Library~1

Available:
Copies:

50.

Logic, methodology and philosophy of science III : proceedings

Author

International Congress for Logic, Methodology and Philosophy of Science (3rd : 1967 : Amsterdam) Van Rootselaar, B., ed. Staal, J. F., ed.

Preferred Shelf Number

BC 135 I55 1968

Format:

Availability

Beytepe Library~1

Available:
Copies:

51.

An Introduction to many-valued logic

Author

Ackermann, Robert John, 1933-

Preferred Shelf Number

QA 9 A5 1967

Format:

Availability

Beytepe Library~1

Available:
Copies:

52.

Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhangigkeit der Kontinuum Hypothese und des Auswahlaxioms

Author

Jensen, Ronald Björn. Leven, Franz Josef.

Preferred Shelf Number

QA 248 J453 1967

Format:

Availability

Beytepe Library~1

Available:
Copies:

53.

Essays on Wittgenstein's Tractatus

Author

Copi, Irving M. Beard, Robert W., ed.

Preferred Shelf Number

BC 135 C6 1966

Format:

Availability

Beytepe Library~1

Available:
Copies:

54.

Techniques of deductive inference

Author

Leblanc, Hugues, 1924-

Preferred Shelf Number

BC 135 L36 1966

Format:

Availability

Beytepe Library~1

Available:
Copies:

55.

Logic and algorithms : with applications to the computer and information sciences

Author

Korfhage, Robert R.

Preferred Shelf Number

QA 9 K678 1966

Format:

Availability

Beytepe Library~1

Available:
Copies:

56.

Intuitionism : an introduction

Author

Heyting, Arend, 1898-

Preferred Shelf Number

BC 135 H48 1966

Format:

Availability

Beytepe Library~1

Available:
Copies:

57.

Formal systems and recursive functions : proceeding

Author

Logic Colloquium (8th : 1963 : Oxford).

Preferred Shelf Number

BC 135 L8292 1965

Format:

Availability

Beytepe Library~1

Available:
Copies:

58.

A transfinite type with type variables

Author

Andrews, Peter B.

Preferred Shelf Number

QA 9 A64 1965

Format:

Availability

Beytepe Library~1

Available:
Copies:

59.

A theory of sets

Author

Morse, Anthony Perry.

Preferred Shelf Number

QA 248 M67 1965

Format:

Availability

Beytepe Library~1

Available:
Copies:

60.

Introductory real analysis

Author

Munroe, Marshall Evans,d1918-

Preferred Shelf Number

QA 300 M9268 1965

Format:

Availability

Beytepe Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6

	{displayName}	{count}
{error}