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.
Ancient logic and its modern interpretations : proceedings of the Buffalo symposium on modernist interpretations of ancient logic : 21 and 22 April, 1972 / edited by John Corcoran
| Ancient logic and its modern interpretations : proceedings of the Buffalo symposium on modernist interpretations of ancient logic : 21 and 22 April, 1972 / edited by John Corcoran |
| Autore | Buffalo symposium on modernist interpretation of ancient logic : <1972> |
| Pubbl/distr/stampa | Dordrecht ; Boston : D. Reidel Publishing Company, copyr. 1974 |
| Descrizione fisica | X, 211 p. : ill. ; 22 cm |
| Disciplina | 160 |
| Collana | Synthese historical library |
| Soggetto topico |
Logica - Antichità - Congressi - 1972
Congressi - Buffalo - 1972 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001961790203316 |
Buffalo symposium on modernist interpretation of ancient logic : <1972>
|
||
| Dordrecht ; Boston : D. Reidel Publishing Company, copyr. 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Anonymous commentary on Aristotle's De interpretatione : (Codex Parisinus Graecus 2064) / [edited by] Leonardo Tarán
| Anonymous commentary on Aristotle's De interpretatione : (Codex Parisinus Graecus 2064) / [edited by] Leonardo Tarán |
| Pubbl/distr/stampa | Meisenheim am Glan : Hain, 1978 |
| Descrizione fisica | XLVII, 122 p. ; 23 cm |
| Disciplina | 160 |
| Collana | Beiträge zur klassischen Philologie |
| Soggetto (Persona) |
Aristotele . De interpretatione Commenti Manoscritti [:] Codex Parisinus Graecus 2064 |
| ISBN | 3-445-01621-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
eng
grc |
| Record Nr. | UNISA-990000945190203316 |
| Meisenheim am Glan : Hain, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
L'antinomia del mentitore : da Pierce a Tarski : studi, testi, bibliografia / Francesca Rivetti Barbò
| L'antinomia del mentitore : da Pierce a Tarski : studi, testi, bibliografia / Francesca Rivetti Barbò |
| Autore | Rivetti Barbò, Francesca |
| Pubbl/distr/stampa | Milano : Jaca Book, c1986 |
| Descrizione fisica | x, 321 p. ; 23 cm |
| Disciplina | 160 |
| Soggetto topico |
Logica simbolica - Linguaggio corrente
Logica simbolica - Linguaggio formalizzato |
| ISBN | 8816950226 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001983839707536 |
|
Rivetti Barbò, Francesca
|
||
| Milano : Jaca Book, c1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Applications of Formal Philosophy [[electronic resource] ] : The Road Less Travelled / / edited by Rafał Urbaniak, Gillman Payette
| Applications of Formal Philosophy [[electronic resource] ] : The Road Less Travelled / / edited by Rafał Urbaniak, Gillman Payette |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (VI, 263 p. 24 illus.) |
| Disciplina | 160 |
| Collana | Logic, Argumentation & Reasoning, Interdisciplinary Perspectives from the Humanities and Social Sciences |
| Soggetto topico |
Logic
Political theory Game theory Political Theory Game Theory, Economics, Social and Behav. Sciences |
| ISBN | 3-319-58507-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1.Applied Formal Philosophy: Some Reflections on the Program -- 2.The logic of guilt, innocence and legal discourse -- 3.Counterfactuals in logic programming with applications to agent morality -- 4.The Wisdom of the Multitude: Diversity versus Size -- 5.A formal semantics of international relations -- 6. A Logic for Human Actions -- 7.Reasoning with Comparative Moral Judgements: an Argument for Moral Bayesianism. |
| Record Nr. | UNINA-9910255225303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications of inductive logic : proceedings of a conference at the Queen's College, Oxford, 21-24 August 1978 / edited by L. Jonathan Cohen and Mary Hesse
| Applications of inductive logic : proceedings of a conference at the Queen's College, Oxford, 21-24 August 1978 / edited by L. Jonathan Cohen and Mary Hesse |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1980 |
| Descrizione fisica | xiv, 432 p. ; 24 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-19-824584-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000976180403321 |
| Oxford : Clarendon Press, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications of model theory to algebra, analysis and probability / edited by W.A.J. Luxemburg
| Applications of model theory to algebra, analysis and probability / edited by W.A.J. Luxemburg |
| Autore | Luxemburg, Wilhelm A. J. <1929- > |
| Pubbl/distr/stampa | New York [etc.] : Holt, Rinehart & Winston, 1969 |
| Descrizione fisica | vii, 307 p. ; 23 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001028150403321 |
|
Luxemburg, Wilhelm A. J. <1929- >
|
||
| New York [etc.] : Holt, Rinehart & Winston, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applied logic / Kaj Børge Hansen
| Applied logic / Kaj Børge Hansen |
| Autore | Hansen, Kaj Børge |
| Pubbl/distr/stampa | Uppsala : [s.n.], 1996 |
| Descrizione fisica | 257 p. ; 25 cm |
| Disciplina | 160 |
| Collana | Acta universitatis upsaliensis. Studia philosophica upsaliensia ; 3 |
| Soggetto topico |
Logica
Filosofia |
| ISBN | 9155438458 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002542739707536 |
|
Hansen, Kaj Børge
|
||
| Uppsala : [s.n.], 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Applied nonstandard analysis / Martin Davis
| Applied nonstandard analysis / Martin Davis |
| Autore | Davis, Martin <1928- > |
| Pubbl/distr/stampa | New York : John Wiley, 1977 |
| Descrizione fisica | xii, 181 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Pure and applied mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-471-19897-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000981050403321 |
|
Davis, Martin <1928- >
|
||
| New York : John Wiley, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Arabic Logic from al-Fārābī to Averroes [[electronic resource] ] : A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics / / by Saloua Chatti
| Arabic Logic from al-Fārābī to Averroes [[electronic resource] ] : A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics / / by Saloua Chatti |
| Autore | Chatti Saloua |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2019 |
| Descrizione fisica | 1 online resource (380 pages) |
| Disciplina | 160 |
| Collana | Studies in Universal Logic |
| Soggetto topico |
Proof theory
Mathematics—Philosophy Mathematics Social sciences Philosophy Structures and Proofs Philosophy of Mathematics Mathematics in the Humanities and Social Sciences History of Philosophy |
| ISBN | 3-030-27466-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: General Introduction -- Chapter 2: The Rise of Arabic Logic: Authors, Translations, Topics -- Chapter 3: Categorical Logic -- Chapter 4: Modal Logic -- Chapter 5: The Hypothetical Logic -- Chapter 6: General Conclusion -- References -- Index of Names -- Subject Index. |
| Record Nr. | UNINA-9910360849003321 |
|
Chatti Saloua
|
||
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Argomentare, dimostrare, confutare : un'introduzione alla logica / Francesco F. Calemi
| Argomentare, dimostrare, confutare : un'introduzione alla logica / Francesco F. Calemi |
| Autore | Calemi, Francesco F. |
| Pubbl/distr/stampa | Roma, : Carocci, 2022 |
| Descrizione fisica | 218 p. ; 22 cm |
| Disciplina | 160 |
| Collana | Studi superiori |
| Soggetto non controllato | Logica |
| ISBN | 978-88-290-1361-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-9910770996503321 |
|
Calemi, Francesco F.
|
||
| Roma, : Carocci, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
