Start Over
You searched for: author_facet Tarski, Alfred

Search Results

Cover image for Introduction to logic and to the methodology of the deductive sciences

Introduction to logic and to the methodology of the deductive sciences

Location
Access Content Online
Cover image for A formalization of set theory without variables

A formalization of set theory without variables

Location Call # Status
Joyner - General Stacks QA248 .T37 1987 ✔ Available
Cover image for Proceedings of the Tarski Symposium

Proceedings of the Tarski Symposium

Location
Access Content Online
Cover image for Proceedings

Proceedings

Location Call # Status
Joyner - General Stacks QA7 .T34 1971 ✔ Available
Cover image for Cylindric algebras

Cylindric algebras

Location Call # Status
Joyner - General Stacks QA9 .H415 V.1 ✔ Available
Cover image for Undecidable theories

Undecidable theories

Location Call # Status
Joyner - General Stacks QA9.T33 1971 ✔ Available
Cover image for Cylindric algebras

Cylindric algebras

Location
Access Content Online
Cover image for Introduction to logic and to the methodology of deductive sciences

Introduction to logic and to the methodology of deductive sciences

Location Call # Status
Joyner - Item has been checked out QA9.T28 1965 Due 10/21/2026
Cover image for Axiomatic Method

Axiomatic Method

  • 1959
  • Format: Electronic
Location
Access Content Online
Cover image for Logic, semantics, metamathematics

Logic, semantics, metamathematics

Location Call # Status
Joyner - General Stacks BC135 .T35 ✔ Available