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.

Biblioteca

MARC Lista (tabellare)
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-991000651379707536
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
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
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
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]
03C55 - Set-theoretic model theory [MSC 2020]
03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020]
Soggetto non controllato Algebra
Cylindrical Algebra
Set
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00261800
Berlin, : Springer, 1981
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
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-991000902259707536
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 a la logique / par Alfred Tarski ; traduit de l'anglais par Jacques Tremblay
Introduction a la logique / par Alfred Tarski ; traduit de l'anglais par Jacques Tremblay
Autore Tarski, Alfred
Pubbl/distr/stampa Paris : Gauthier-Villars
Descrizione fisica XV, 224 p. ; 24 cm
Disciplina 160
Altri autori (Persone) Tremblay, Jacques
Collana Collection de logique mathématique. Série A ; 16
Soggetto topico Logica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Record Nr. UNISALENTO-991004363733207536
Tarski, Alfred  
Paris : Gauthier-Villars
Materiale a stampa
Lo trovi qui: Univ. del Salento
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
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-VAN0050002
Tarski, Alfred  
New York ; Oxford, : Oxford university, 1994
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
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-VAN00050002
Tarski, Alfred  
New York ; Oxford, : Oxford university, 1994
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui