|
1.
|
Introduction to logic and to the methodology of deductive sciences
by Tarski, Alfred. Edition: 3rd rev.Material type: Book Description: 252p.Publisher: N. Y. Oxford University Press c1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 T17i3] (1).
|
|
2.
|
A decision method for elementary algebra and geoemtry
by Tarski, Alfred. Edition: 2nd rev.Material type: Book Description: 63p.Publisher: Berkeley University Of California Press c1951Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.8 T17d2] (1).
|
|
3.
|
A FORMALIZATION OF SET THEORY WITHOUT VARIABLES
by Tarski, Alfred | Givant, Steven. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxi,318.Publisher: Providence, R. I. American Mathematical Society 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.322 T177f] (1).
|
|
4.
|
EINFUHRUNG IN DIE MATHEMATISCHE LOGIK
by Tarski, Alfred. Material type: Book Description: 252.Publisher: Gottingen Vandenhoeck & Ruprecht c1966Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 T17oG2] (1).
|
|
5.
|
LOGIC,SEMANTICS,METAMATHEMATICS
by Tarski, Alfred. Material type: Book Publisher: Clarendon Press 1956Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 T17L] (1).
|
|
6.
|
INTRODUCTION TO LOGIC AND TO THE METHODOLOGY OF DEDUCTIV SCIENCES
by Tarski, Alfred. Edition: 2Material type: Book Publisher: Oxford University Press 1946Availability: No items available Withdrawn (1).
|
|
7.
|
The axiomatic method with special reference to geometry and physics.
: Proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958
by Henkin, Léon [ed.] | Suppes, Patrick [ed.] | Tarski, Alfred [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 488p.Publisher: Amsterdam North-Holland Publishing 1959Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9] (1).
|
|
8.
|
THE THEORY OF MODELS
by Addison, J.W., Henkin, Leon | Tarski, Alfred. Material type: Book Publisher: North-Holland 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9] (1).
|
|
9.
|
ORDINAL ALGEBRAS
by Tarski, Alfred. Material type: Book Publisher: North-Holland 1956Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9 V.14] (1).
|
|
10.
|
Introduction to logic and to the methodology of deductive sciences
by Tarski, Alfred. Material type: Book Description: xviii, 239p.Publisher: New York Oxford University Press 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 T177i] (1).
|