top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Alfred Tarski : collected papers / eds. Stevev R. Givant, Ralph N. McKenzie
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-b1073823x
Tarski, Alfred  
Basel ; Boston ; Stuttgart : Birkhauser, 1986
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Cylindric set algebras
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
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
A formalization of set theory without variables / Alfred Tarski, Steven Givant
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-b10773368
Tarski, Alfred  
Providence, R. I. : American Mathematical Society, 1987
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Introduction a la logique / Alfred Taski
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]
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Introduction to logic and to the methodology of the deductive sciences / by Alfred Tarski
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Introduzione alla logica e alla metodologia delle Scienze deduttive / Alfred Tarski
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
Materiale a stampa
Lo trovi qui: Univ. Suor Orsola Benincasa
Opac: Controlla la disponibilità qui
Introduzione alla logica e alla metodologia delle scienze deduttive / Alfred Tarski
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-b11149796
Tarski, Alfred  
Milano : Bompiani, 1978
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Introduzione alla logica e alla metodologia delle scienze deduttive / Alfred Tarski
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.
Disciplina 164
Altri autori (Persone) Bozzi, Silvio
Ballo, Edoardo
Collana Idee nuove ; 51
Soggetto topico Logica metematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-b10053748
Tarski, Alfred  
Milano : Bompiani, 1969
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Metamathematische Methoden in der Geometrie / W. Schwabhauser, W. Szmielew, A. Tarski
Metamathematische Methoden in der Geometrie / W. Schwabhauser, W. Szmielew, A. Tarski
Autore Schwabhauser, Wolfram
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1983
Descrizione fisica viii, 482 p. : ill. ; 25 cm.
Disciplina 516
Altri autori (Persone) Szmielew, Wanda
Tarski, Alfred
Collana Hochschultext
Soggetto topico Geometry-addresses, essays, lectures
Metamathematics-addresses, essays, lectures
ISBN 3540129588
Classificazione AMS 03B
AMS 03C
AMS 03D
AMS 51A
AMS 51F
AMS 51M
QA481
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione en
Record Nr. UNISALENTO-b10805783
Schwabhauser, Wolfram  
Berlin ; New York : Springer-Verlag, 1983
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Proceedings of the Tarski symposium : an intern. symp. held to honor A. Tarski on occasion of his 70th birthday, Berkeley, June 23-30, 1971 / eds. L. Henkin.
Proceedings of the Tarski symposium : an intern. symp. held to honor A. Tarski on occasion of his 70th birthday, Berkeley, June 23-30, 1971 / eds. L. Henkin.
Edizione [2nd print. with add., 1979]
Pubbl/distr/stampa Providence, R. I. : American Mathematical Society, 1974
Descrizione fisica xx, 491 p. ; 25 cm
Disciplina 511.3
Altri autori (Persone) Addison, J.
Chang, Cheng Chung
Craig, William
Henkin, Leon
Scott, Dana S.
Tarski, Alfred
Vaught, R.
Collana Proceedings of symposia in pure mathematics, 0082-0717 ; 25
Soggetto topico Mathematical logic
ISBN 0811814257
Classificazione AMS 03-06
AMS 03-XX
LC QA7.T34
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-b10823232
Providence, R. I. : American Mathematical Society, 1974
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui