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.
9 lezioni di logica : la logica nel suo sviluppo storico e concettuale / Edoardo Ballo ... [et al.]
| 9 lezioni di logica : la logica nel suo sviluppo storico e concettuale / Edoardo Ballo ... [et al.] |
| Autore | Ballo, Edoardo |
| Pubbl/distr/stampa | Padova : Franco Muzzio, c1990 |
| Descrizione fisica | 194 p. : ill ; 21 cm |
| Disciplina | 511.3 |
| Collana | Muzzio scienze |
| Soggetto non controllato | Logica matematica |
| ISBN | 88-7021-524-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001498040403321 |
Ballo, Edoardo
|
||
| Padova : Franco Muzzio, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A formal background to mathematics / R. E. Edwards
| A formal background to mathematics / R. E. Edwards |
| Autore | Edwards, Robert E. |
| Pubbl/distr/stampa | New York : Springer-Verlag, 1979-1980 |
| Descrizione fisica | 2 v. in 4 ; 24 cm |
| Disciplina | 511.3 |
| Collana | Universitext |
| Soggetto non controllato |
Logica matematica
Teoria degli insiemi Strutture algebriche Funzioni reali Funzioni di una variabile complessa |
| ISBN |
0-387-90431-X
0-387-90513-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1a: Logic, sets and numbers. XXXIV, 467 p. 1b: Logic, sets and numbers. 466 p. 2a: A critical approach to elementary analysis. XLVII, 606 p. 2b: A critical approach to elementary analysis. 564 p. |
| Record Nr. | UNINA-990001243870403321 |
|
Edwards, Robert E.
|
||
| New York : Springer-Verlag, 1979-1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A model theoretic realist interpretation of science / E. Ruttkamp
| A model theoretic realist interpretation of science / E. Ruttkamp |
| Autore | Ruttkamp, Emma |
| Pubbl/distr/stampa | Dordrecht : Kluwer, c2002 |
| Descrizione fisica | xv, 190 p. ; 24 cm |
| Disciplina | 110 |
| Collana | Synthese Library |
| Soggetto non controllato |
Logica matematica
Metafisica |
| ISBN | 1-4020-0930-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008331160403321 |
|
Ruttkamp, Emma
|
||
| Dordrecht : Kluwer, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A primer of probability logic / Ernest W. Adams
| A primer of probability logic / Ernest W. Adams |
| Autore | ADAMS, Ernest W. |
| Pubbl/distr/stampa | Stanford (Calif.) : CSLI, copyr. 1998 |
| Descrizione fisica | XIV, 376 p. ; 23 cm |
| Disciplina | 511.3 |
| Collana | CSLI Lecture Notes. 68 |
| Soggetto non controllato |
Logica matematica
Probabilitáa |
| ISBN | 1-57586-067-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000050920203316 |
|
ADAMS, Ernest W.
|
||
| Stanford (Calif.) : CSLI, copyr. 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A profile of mathematical logic
| A profile of mathematical logic |
| Autore | DELONG, Howard |
| Pubbl/distr/stampa | Reading (Massachussets) : Addison-Wesley, 1971 |
| Descrizione fisica | XIII, 304 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Collana | Addison-Wesley Series in Mathematics |
| Soggetto non controllato | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000622380203316 |
|
DELONG, Howard
|
||
| Reading (Massachussets) : Addison-Wesley, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abductive reasoning : Logical investigations into discovery and explanations / A. Aliseda
| Abductive reasoning : Logical investigations into discovery and explanations / A. Aliseda |
| Autore | Aliseda, Atocha |
| Pubbl/distr/stampa | Dordrecht : Springer, c2006 |
| Descrizione fisica | xvi, 225 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Synthese Library |
| Soggetto non controllato | Logica matematica |
| ISBN | 1-4020-3906-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008329690403321 |
|
Aliseda, Atocha
|
||
| Dordrecht : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1966, Salvador, Bahia, Brazil / W.A. Carnielli, I. M. D'Ottaviano, editors
| Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1966, Salvador, Bahia, Brazil / W.A. Carnielli, I. M. D'Ottaviano, editors |
| Pubbl/distr/stampa | Providence : American Matematical Society, c1999 |
| Descrizione fisica | xi, 326 p. ; 24 cm |
| Disciplina | 005.1 |
| Collana | Contemporary mathematics |
| Soggetto non controllato |
Logica matematica
Logica del calcolatore |
| ISBN | 0-8218-1364-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001495500403321 |
| Providence : American Matematical Society, c1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An accompaniment to higher mathematics / G. R. Exner
| An accompaniment to higher mathematics / G. R. Exner |
| Autore | EXNER, George R. |
| Pubbl/distr/stampa | New York [etc.] : Springer, copyr.1996 |
| Descrizione fisica | XVII, 198 p. ; 25 cm |
| Disciplina | 511.3 |
| Collana | Undergraduate texts in mathematics |
| Soggetto non controllato | Logica matematica |
| ISBN | 0-387-94617-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000344110203316 |
|
EXNER, George R.
|
||
| New York [etc.] : Springer, copyr.1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
An essay in modal logic / George h. Von Wright
| An essay in modal logic / George h. Von Wright |
| Autore | Von Wright, George H. |
| Pubbl/distr/stampa | Amsterdam : North-Holland publishing company, 1951 |
| Descrizione fisica | VI, 90 p. ; 22 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000026940403321 |
|
Von Wright, George H.
|
||
| Amsterdam : North-Holland publishing company, 1951 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An introduction to formal languages and automata / Peter Linz
| An introduction to formal languages and automata / Peter Linz |
| Autore | Linz, Peter |
| Pubbl/distr/stampa | Lexington, Mass. : D. C. Heath, c1990 |
| Descrizione fisica | XVIII, 373p. : ill. ; 25 cm |
| Disciplina | 511.3 |
| Soggetto non controllato | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNIPARTHENOPE-000018874 |
|
Linz, Peter
|
||
| Lexington, Mass. : D. C. Heath, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
