Alfred Tarski : collected papers / eds. Stevev R. Givant, Ralph N. McKenzie |
Autore | Tarski, Alfred |
Pubbl/distr/stampa | Basel ; Boston ; Stuttgart : Birkhauser, 1986 |
Descrizione fisica | 4 v, 659 p. ; 26 cm. |
Disciplina | 510 |
Altri autori (Persone) |
Givant, Steven R.
Mckenzie, Ralph N. |
Collana | Contemporary mathematicians |
Soggetto topico |
Collections of papers
Mathematics |
ISBN | 0817632840 (set) |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000651379707536 |
Tarski, Alfred
![]() |
||
Basel ; Boston ; Stuttgart : Birkhauser, 1986 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Cylindric set algebras |
Pubbl/distr/stampa | Berlin [etc.] : Springer, 1981 |
Descrizione fisica | V, 323 p. ; 25 cm. |
Disciplina | 511.3 |
Collana | Lecture notes in mathematics |
Soggetto topico | Logica matematica |
ISBN | 3-540-10881-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cylindric set algebras and related structures / L. Henkins, J. D. Monk, A. Tarski On cylindric-relativized set algebras / H. Andreka, I. Nemeti |
Record Nr. | UNIBAS-000015120 |
Berlin [etc.] : Springer, 1981 | ||
![]() | ||
Lo trovi qui: Univ. della Basilicata | ||
|
Cylindric Set Algebras : Cylindric set algebras and related structures / By L. Henkin, J. D. Monk, and A. Tarski . On cylindric-relativized set algebras / By H. Andreka and I. Nemeti |
Pubbl/distr/stampa | Berlin, : Springer, 1981 |
Descrizione fisica | vi, 323 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020] 03C55 - Set-theoretic model theory [MSC 2020] |
Soggetto non controllato |
Algebra
Cylindrical Algebra Set |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0261800 |
Berlin, : Springer, 1981 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
A formalization of set theory without variables / Alfred Tarski, Steven Givant |
Autore | Tarski, Alfred |
Pubbl/distr/stampa | Providence, R. I. : American Mathematical Society, 1987 |
Descrizione fisica | xxi, 318 p. ; 26 cm |
Disciplina | 511.322 |
Altri autori (Persone) | Givant, Steven R.author |
Collana | Colloquium publications, 0065-9258 ; 41 |
Soggetto topico |
Mathematical logic
Set theory Symbolic logic |
ISBN | 0821810413 |
Classificazione |
AMS 03B
AMS 03B30 AMS 03C05 AMS 03E30 AMS 03G15 QA248.T37 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000902259707536 |
Tarski, Alfred
![]() |
||
Providence, R. I. : American Mathematical Society, 1987 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Introduction a la logique / Alfred Taski |
Autore | Tarski, Alfred |
Pubbl/distr/stampa | [Paris], : J. Gabay, [2008] |
Descrizione fisica | XVI, 246 p. ; 24 cm |
Disciplina | 511.3 |
Soggetto topico | Logica matematica |
ISBN | 9782876472952 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Record Nr. | UNISANNIO-NAP0411708 |
Tarski, Alfred
![]() |
||
[Paris], : J. Gabay, [2008] | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
Introduction to logic and to the methodology of the deductive sciences / by Alfred Tarski |
Autore | Tarski, Alfred |
Edizione | [4. ed.] |
Pubbl/distr/stampa | New York ; Oxford, : Oxford university, 1994 |
Descrizione fisica | XXII, 229 p. : ill. ; 25 cm. |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN | 01-950447-2-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0050002 |
Tarski, Alfred
![]() |
||
New York ; Oxford, : Oxford university, 1994 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduction to logic and to the methodology of the deductive sciences / by Alfred Tarski |
Autore | Tarski, Alfred |
Edizione | [4. ed.] |
Pubbl/distr/stampa | New York ; Oxford, : Oxford university, 1994 |
Descrizione fisica | XXII, 229 p. : ill. ; 25 cm |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN | 01-950447-2-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0050002 |
Tarski, Alfred
![]() |
||
New York ; Oxford, : Oxford university, 1994 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduzione alla logica e alla metodologia delle Scienze deduttive / Alfred Tarski |
Autore | Tarski, Alfred |
Edizione | [2 ed.] |
Pubbl/distr/stampa | Milano, : Bompiani, 1978 |
Descrizione fisica | 297 p. ; 21 cm |
Collana | Idee nuove |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISOB-E600200068647 |
Tarski, Alfred
![]() |
||
Milano, : Bompiani, 1978 | ||
![]() | ||
Lo trovi qui: Univ. Suor Orsola Benincasa | ||
|
Introduzione alla logica e alla metodologia delle scienze deduttive / Alfred Tarski |
Autore | Tarski, Alfred |
Pubbl/distr/stampa | Milano, : Bompiani, 1969 |
Descrizione fisica | 302 p. ; 22 cm |
Collana | Idee nuove |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Titolo uniforme | |
Record Nr. | UNICAS-SBL0092930 |
Tarski, Alfred
![]() |
||
Milano, : Bompiani, 1969 | ||
![]() | ||
Lo trovi qui: Univ. di Cassino | ||
|
Introduzione alla logica e alla metodologia delle scienze deduttive / Alfred Tarski |
Autore | Tarski, Alfred |
Edizione | [2. ed] |
Pubbl/distr/stampa | Milano : Bompiani, 1978 |
Descrizione fisica | 302 p. ; 22 cm. |
Disciplina | 511.3 |
Collana | Idee nuove ; 51 |
Soggetto topico | Logica matematica |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991003360299707536 |
Tarski, Alfred
![]() |
||
Milano : Bompiani, 1978 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|