Image from Google Jackets

Normal view MARC view ISBD view

Undecidable theories, in collaboration with Andrzej Mostowski & Raphael M Robinson.

By:

Tarski Alfred

Language: Eng Series: Studies in Logic and the Foundations of Mathematics, ed by L E J Brouwer, E W Beth & A HeytingPublication details: Amsterdam North-Holland 1953Subject(s):

DDC classification:

R14 J31

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Call number	Status	Notes	Date due	Barcode
Book	Prof. S.S.Basavanal Library	R14 J31 (Browse shelf(Opens below))	Available	22416		22416

Browsing Prof. S.S.Basavanal Library shelves Close shelf browser (Hides shelf browser)

Previous	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	Next
Previous	R14 J3 Introduction to symbolic logic. Edbn.2. Rev.	R14 J3 Truth and consequence in mediavel logic.	R14 J3;1 Introduction to symbolic logic. edn.2. Rev.	R14 J31 Undecidable theories, in collaboration with Andrzej Mostowski & Raphael M Robinson.	R14 J4 Solvable cases of the decision problem.	R14 J4 Nomological statements and admissible operations.	R14 J5 Formal logic.	Next

There are no comments on this title.

to post a comment.

Print
Add to your cart (remove)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Share