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)
A course in mathematical logic / Yu. I. Manin; transl. by Neal Koblitz
A course in mathematical logic / Yu. I. Manin; transl. by Neal Koblitz
Autore Manin, Yuri I.
Pubbl/distr/stampa New York : Springer-Verlag, 1977
Descrizione fisica xiii, 286 p. ; 24 cm.
Disciplina 511.3
Altri autori (Persone) Koblitz, Neal
Collana Graduate texts in mathematics, 0072-5285 ; 53
Soggetto topico Mathematical logic
ISBN 0387902430
Classificazione AMS 03-01
AMS 03-XX
AMS 03B
AMS 03F
QA9.M296
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000798399707536
Manin, Yuri I.  
New York : Springer-Verlag, 1977
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Eine Termlogik mit Auswahloperator [e-book] / by Hans Hermes
Eine Termlogik mit Auswahloperator [e-book] / by Hans Hermes
Autore Hermes, Hans
Pubbl/distr/stampa Berlin : Springer, 1965
Descrizione fisica 1 online resource (vi, 46 p.)
Disciplina 510
Collana Lecture Notes in Mathematics, 0075-8434 ; 6
Soggetto topico Mathematics
ISBN 9783540362036
Classificazione AMS 03-02
AMS 03B
AMS 03C80
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991002499239707536
Hermes, Hans  
Berlin : Springer, 1965
Risorse elettroniche
Lo trovi qui: Univ. del Salento
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
Intensional mathematics / ed. Stewart Shapiro
Intensional mathematics / ed. Stewart Shapiro
Autore Shapiro, Stewart
Pubbl/distr/stampa Amsterdam : North-Holland, 1985
Descrizione fisica v, 229 p. ; 24 cm.
Collana Studies in logic and the foundations of mathematics, ISSN 0049237X ; 113
Soggetto topico Set theory
ISBN 0444876324
Classificazione AMS 03-06
AMS 03B
AMS 03B45
QA9.46.I57
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001005339707536
Shapiro, Stewart  
Amsterdam : North-Holland, 1985
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews
An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews
Autore Andrews, Peter B.
Pubbl/distr/stampa Orlando : Academic Press, 1986
Descrizione fisica xv, 304 p. ; 23 cm.
Disciplina 511.3
Collana Computer science and applied mathematics
Soggetto topico Mathematical logic
Symbolic logic
Type theory
ISBN 0120585367
Classificazione AMS 03-01
AMS 03-XX
AMS 03B
QA9.A638
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001020619707536
Andrews, Peter B.  
Orlando : Academic Press, 1986
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Matematica logico intuitiva : nozioni di matematiche complementari e di calcolo differenziale e integrale come introduzione agli studi di scienze economiche statistiche attuariali / Bruno de Finetti
Matematica logico intuitiva : nozioni di matematiche complementari e di calcolo differenziale e integrale come introduzione agli studi di scienze economiche statistiche attuariali / Bruno de Finetti
Autore De Finetti, Bruno
Edizione [3a. ed. riv.]
Pubbl/distr/stampa Roma : Edizioni Cremonese, 1959
Descrizione fisica xxiii, 631 p. : ill. ; 24 cm
Disciplina 511.2
Soggetto topico Logic, Symbolic and mathematical
Mathematics - Philosophy
Mathematics
Classificazione AMS 00A30
AMS 03A05
AMS 03B
LC BC135.F45
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991000811049707536
De Finetti, Bruno  
Roma : Edizioni Cremonese, 1959
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Mathematical logic and applications : proc. of the logic meet. held in Kyoto, 1987 / eds. J. Shinoda, T. A. Slaman, T. Tugue
Mathematical logic and applications : proc. of the logic meet. held in Kyoto, 1987 / eds. J. Shinoda, T. A. Slaman, T. Tugue
Autore Shinoda, J.
Pubbl/distr/stampa Berlin : Springer-Verlag, 1989
Descrizione fisica 222 p. ; 24 cm.
Disciplina 511.3
Altri autori (Persone) Slaman, T. A.
Tugué, Tosiyuki
Collana Lecture notes in mathematics, 0075-8434 ; 1388
Soggetto topico Constructive mathematics
General logic - Congresses
Nonstandard models
Proof theory
Recursion theory
Set theory
ISBN 3540515275
Classificazione AMS 03-06
AMS 03-XX
AMS 03B
AMS 03D
AMS 03E
AMS 03F
AMS 03H
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001112479707536
Shinoda, J.  
Berlin : Springer-Verlag, 1989
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Matrix logic / August Stern
Matrix logic / August Stern
Autore Stern, August
Pubbl/distr/stampa Amsterdam : North-Holland, 1988
Descrizione fisica viii, 215 p. ; 24 cm.
Disciplina 511.3
Soggetto topico Matrix logic
ISBN 0444704329
Classificazione AMS 03B
AMS 03B99
QA9.9.S74
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001129189707536
Stern, August  
Amsterdam : North-Holland, 1988
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-991001135409707536
Schwabhauser, Wolfram  
Berlin ; New York : Springer-Verlag, 1983
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Méthode axiomatique et formalisme : essai sur le problème du fondament des mathématiques / Jean Cavaillés
Méthode axiomatique et formalisme : essai sur le problème du fondament des mathématiques / Jean Cavaillés
Autore Cavaillés, Jean
Pubbl/distr/stampa Paris : Hermann, 1981
Descrizione fisica 196 p. ; 26 cm.
Disciplina 510.1
Soggetto topico General logic
ISBN 2705659412
Classificazione AMS 03B
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione |||
Record Nr. UNISALENTO-991001136029707536
Cavaillés, Jean  
Paris : Hermann, 1981
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui