Author facet: Tarski, Alfred, 1901-1983 - ECU Libraries Catalog Search Results

Clear Search

You searched for: Author facet Tarski, Alfred, 1901-1983

1 - 9 of 9

A formalization of set theory without variables
by Tarski, Alfred, 1901-1983
1987
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA248 .T37 1987

Proceedings
by Tarski Symposium (1971 : University of California, Berkeley)
1974
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA7 .T34 1971

Cylindric algebras
by Henkin, Leon
1971
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA9 .H415 V.1

Undecidable theories
by Tarski, Alfred, 1901-1983
1971
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA9.T33 1971

Introduction to logic and to the methodology of deductive sciences
by Tarski, Alfred, 1901-1983
1965
Format: Book and Print

Item has been checked out - Due: 06/02/2024

Call Number: QA9.T28 1965

Logic, semantics, metamathematics ; papers from 1923 to 1938
by Tarski, Alfred, 1901-1983
1956
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: BC135 .T35

Ordinal algebras
by Tarski, Alfred, 1901-1983
1956
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA10.T37

Cardinal algebras. : With an appendix: Cardinal products of isomorphism types
by Tarski, Alfred, 1901-1983
1949
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA266 .T3

Direct decompositions of finite algebraic systems
by Jónsson, Bjarni, 1920-2016
1947
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA1.N87 NO. 5