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)
An accompaniment to higher mathematics / George R. Exner
An accompaniment to higher mathematics / George R. Exner
Autore Exner, George R.
Pubbl/distr/stampa New York : Springer, c1996
Descrizione fisica XVII, 198 p. ; 25 cm.
Disciplina 511.3
Collana Undergraduate texts in mathematics
Soggetto topico Teoria della dimostrazione
ISBN 0-387-94617-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000015168
Exner, George R.  
New York : Springer, c1996
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Capire una dimostrazione : il ruolo della logica nella matematica / Gabriele Loll
Capire una dimostrazione : il ruolo della logica nella matematica / Gabriele Loll
Autore Lolli, Gabriele
Pubbl/distr/stampa Bologna : Il mulino, [1988]
Descrizione fisica 209 p. ; 22 cm
Disciplina 511.3
Collana Saggi ; 531
Soggetto topico Teoria della dimostrazione
ISBN 8815019987
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991000349269707536
Lolli, Gabriele  
Bologna : Il mulino, [1988]
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Extensional Godel functional interpretation : a consistency proof of classical analysis. / Horst Luckhardt
Extensional Godel functional interpretation : a consistency proof of classical analysis. / Horst Luckhardt
Autore Luckhardt, Horst
Pubbl/distr/stampa Berlin [etc.] : Springer, 1973
Descrizione fisica VI, 161 p. ; 26 cm.
Disciplina 511.3
Collana Lecture notes in mathematics
Soggetto topico Teoria della dimostrazione
ISBN 3-540-06119-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000013599
Luckhardt, Horst  
Berlin [etc.] : Springer, 1973
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Learning to reason : an introduction to logic, sets, and relations / Nancy Rodgers
Learning to reason : an introduction to logic, sets, and relations / Nancy Rodgers
Autore RODGERS, Nancy <1941->
Pubbl/distr/stampa New York, : Wiley, 2000
Descrizione fisica Testo elettronico (PDF) (XV, 437 p.)
Disciplina 511.3
Soggetto topico Teoria della dimostrazione
ISBN 9781118165690
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996453350803316
RODGERS, Nancy <1941->  
New York, : Wiley, 2000
Risorse elettroniche
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. Troelstra, editor
Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. Troelstra, editor
Pubbl/distr/stampa Berlin [etc.] : Springer, 1973
Descrizione fisica XVII, 485 p. ; 24 cm.
Disciplina 511.3
Collana Lecture notes in mathematics
Soggetto topico Teoria dei modelli
Teoria della dimostrazione
ISBN 3-540-06491-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000013514
Berlin [etc.] : Springer, 1973
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Proof theory : an introduction / Wolfram Pohlers
Proof theory : an introduction / Wolfram Pohlers
Autore Pohlers, Wolfram
Pubbl/distr/stampa Berlin [etc.] : Springer, c1989
Descrizione fisica VI, 213 p. ; 25 cm.
Disciplina 511.3
Collana Lecture notes in mathematics
Soggetto topico Teoria della dimostrazione
ISBN 3-540-51842-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000013629
Pohlers, Wolfram  
Berlin [etc.] : Springer, c1989
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Proof theory / Kurt Schutte ; translation from the German by J. N. Crossley
Proof theory / Kurt Schutte ; translation from the German by J. N. Crossley
Autore Schutte, Kurt
Pubbl/distr/stampa Berlin [etc.] : Springer, 1977
Descrizione fisica XII, 302 p. ; 25 cm.
Disciplina 511.3
Collana Grundlehren der mathematischen Wissenschaften
Soggetto topico Teoria della dimostrazione
ISBN 3-540-07911-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000015504
Schutte, Kurt  
Berlin [etc.] : Springer, 1977
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Proof theory and intuitionistic systems / Bruno Scarpellini
Proof theory and intuitionistic systems / Bruno Scarpellini
Autore Scarpellini, Bruno
Pubbl/distr/stampa Berlin [etc.] : Springer, 1971
Descrizione fisica VII, 390 p. ; 26 cm.
Disciplina 511.3
Collana Lecture notes in mathematics
Soggetto topico Teoria della dimostrazione
ISBN 3-540-05541-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000013533
Scarpellini, Bruno  
Berlin [etc.] : Springer, 1971
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Teoria della dimostrazione / G. Gentzen..[e altri] ; A cura di Donatella Cagnoni
Teoria della dimostrazione / G. Gentzen..[e altri] ; A cura di Donatella Cagnoni
Pubbl/distr/stampa Milano : Feltrinelli, 1981
Descrizione fisica 259 p. ; 20 cm
Disciplina 511.3
Altri autori (Persone) GENTZEN, G.
Collana S/C Readings
Soggetto topico Teoria della dimostrazione
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990003227150203316
Milano : Feltrinelli, 1981
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui