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.
A Precis of Mathematical Logic / J.M. Bochenski ; translated from the French and German editions by Otto Bird
| A Precis of Mathematical Logic / J.M. Bochenski ; translated from the French and German editions by Otto Bird |
| Autore | Bochenski, Joseph M. <1902- > |
| Pubbl/distr/stampa | Dordrecht (NL) : Reidel, 1959 |
| Descrizione fisica | 100 p. ; 23 cm |
| Disciplina | 160 |
| Collana | Synthese Library |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000963220403321 |
Bochenski, Joseph M. <1902- >
|
||
| Dordrecht (NL) : Reidel, 1959 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A profile of mathematical logic / Howard Delong
| A profile of mathematical logic / Howard Delong |
| Autore | Delong, Howard |
| Pubbl/distr/stampa | Reading [Mass.] [etc.] : Addison-Wesley, 1970 |
| Descrizione fisica | XIV, 304 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Addison-Wesley series in mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001145560403321 |
|
Delong, Howard
|
||
| Reading [Mass.] [etc.] : Addison-Wesley, 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A system of logic : ratiocinative and inductive : being a connected view of the principles of evidence and the methods of scientific investigation / by John Stuart Mill
| A system of logic : ratiocinative and inductive : being a connected view of the principles of evidence and the methods of scientific investigation / by John Stuart Mill |
| Autore | Mill, John Stuart <1806-1873> |
| Pubbl/distr/stampa | London : Longmans, 1965 |
| Descrizione fisica | XVI, 622 p. ; 19 cm |
| Disciplina | 160 |
| Soggetto non controllato | LogicaStudi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990004097350403321 |
|
Mill, John Stuart <1806-1873>
|
||
| London : Longmans, 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A Theory of Formal Deducibility / by Haskell B. Curry
| A Theory of Formal Deducibility / by Haskell B. Curry |
| Autore | Curry, Haskell B. |
| Edizione | [3rd printing] |
| Pubbl/distr/stampa | Notre Dame [Indiana] : University of Notre Dame Press, 1966, c1950 |
| Descrizione fisica | xi, 129 p. ; 23 cm |
| Disciplina | 160 |
| Collana | Notre Dame Mathematical Lectures |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000980090403321 |
|
Curry, Haskell B.
|
||
| Notre Dame [Indiana] : University of Notre Dame Press, 1966, c1950 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A Theory of Sets / by Anthony P. Morse
| A Theory of Sets / by Anthony P. Morse |
| Autore | Morse, Anthony P. |
| Pubbl/distr/stampa | New York [etc.] : Academic Press, 1965 |
| Descrizione fisica | xxxi, 130 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Pure and applied mathematics |
| Soggetto non controllato | Teoria degli insiemi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001036630403321 |
|
Morse, Anthony P.
|
||
| New York [etc.] : Academic Press, 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A Transfinite Type Theory with Type Variables / by P.B. Andrews
| A Transfinite Type Theory with Type Variables / by P.B. Andrews |
| Autore | Andrews, Peter B. |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1965 |
| Descrizione fisica | xv, 143 p. ; 23 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000953750403321 |
|
Andrews, Peter B.
|
||
| Amsterdam : North-Holland, 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abaelardiana inedita / [edited by] L. Minio-Paluello
| Abaelardiana inedita / [edited by] L. Minio-Paluello |
| Autore | Abaelardus, Petrus <1079-1142> |
| Pubbl/distr/stampa | Roma : Edizioni di Storia e letteratura, 1958 |
| Descrizione fisica | XLVIII, 160 p. ; 22 cm. |
| Disciplina | 160 |
| Altri autori (Persone) | Minio-Paluello, Lorenzo |
| Collana | Twelfth century logic. Texts and studies ; 2 |
| Soggetto topico |
Filosofia medievale
Logica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | lat |
| Record Nr. | UNISALENTO-991001863189707536 |
|
Abaelardus, Petrus <1079-1142>
|
||
| Roma : Edizioni di Storia e letteratura, 1958 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Abaelardiana Inedita / L. Minio-Paluello
| Abaelardiana Inedita / L. Minio-Paluello |
| Autore | Minio-Paluello, Lorenzo |
| Pubbl/distr/stampa | Roma : Edizioni di storia e letteratura, 1958 |
| Descrizione fisica | XLVIII, 160 p. ; 23 cm |
| Disciplina | 160 |
| Collana | Twelfth century logic ; 2 |
| Soggetto topico | Logica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001203269707536 |
|
Minio-Paluello, Lorenzo
|
||
| Roma : Edizioni di storia e letteratura, 1958 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Abstract set theory / Abraham A. Fraenkel
| Abstract set theory / Abraham A. Fraenkel |
| Autore | Fraenkel, Abraham Adolf <1891-1965> |
| Pubbl/distr/stampa | Amsterdam : North-Holland publishing company, 1953 |
| Descrizione fisica | XII, 479 p. ; 23 cm |
| Disciplina |
160
510 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Teoria degli insiemi
InsiemiTeoria |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000994630403321 |
|
Fraenkel, Abraham Adolf <1891-1965>
|
||
| Amsterdam : North-Holland publishing company, 1953 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract set theory / Thoralf A. Skolem
| Abstract set theory / Thoralf A. Skolem |
| Autore | Skolem, Thoralf A. |
| Pubbl/distr/stampa | Indiana : Notre Dame Press, 1962 |
| Descrizione fisica | 70 p. ; 23 cm |
| Disciplina | 160 |
| Collana | Notre Dame mathematical lectures |
| Soggetto non controllato |
Insiemi
Strutture algebriche Teoria degli insiemi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990002559060403321 |
|
Skolem, Thoralf A.
|
||
| Indiana : Notre Dame Press, 1962 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
