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.
Models for Modalities : Selected Essays / Jaakko Hintikka
| Models for Modalities : Selected Essays / Jaakko Hintikka |
| Autore | Hintikka, Jaakko |
| Pubbl/distr/stampa | Dordrecht (NL) : Reidel, 1969 |
| Descrizione fisica | VII, 220 p. ; 23 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001008390403321 |
Hintikka, Jaakko
|
||
| Dordrecht (NL) : Reidel, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Models for modalities : selected essays / Jaakko Hintikka
| Models for modalities : selected essays / Jaakko Hintikka |
| Autore | HINTIKKA, Jaakko |
| Pubbl/distr/stampa | Dordrecht, : Reidel, 1969 |
| Descrizione fisica | VII, 220 p. ; 23 cm. |
| Disciplina | 160 |
| Collana | Synthese library |
| Soggetto topico | Logica modale |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990005603520203316 |
|
HINTIKKA, Jaakko
|
||
| Dordrecht, : Reidel, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Models for Modalities : selected essays / Jaakko Hintikka
| Models for Modalities : selected essays / Jaakko Hintikka |
| Autore | HINTIKKA, Jaakko |
| Pubbl/distr/stampa | London, : Reidel Publishing Company, 1969 |
| Descrizione fisica | VII, 220 p. ; 22 cm. |
| Disciplina | 160(Logica) |
| Soggetto topico | LOGICA |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIOR-UON00232142 |
|
HINTIKKA, Jaakko
|
||
| London, : Reidel Publishing Company, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. L'Orientale | ||
| ||
A Model–Theoretic Approach to Proof Theory [[electronic resource] /] / by Henryk Kotlarski ; edited by Zofia Adamowicz, Teresa Bigorajska, Konrad Zdanowski
| A Model–Theoretic Approach to Proof Theory [[electronic resource] /] / by Henryk Kotlarski ; edited by Zofia Adamowicz, Teresa Bigorajska, Konrad Zdanowski |
| Autore | Kotlarski Henryk |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVIII, 109 p. 53 illus., 1 illus. in color.) |
| Disciplina | 160 |
| Collana | Trends in Logic, Studia Logica Library |
| Soggetto topico |
Logic
Mathematical logic Mathematical Logic and Foundations |
| ISBN | 3-030-28921-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Some combinatorics -- Chapter 2. Some model theory -- Chapter 3. Incompleteness -- Chapter 4. Transfinite induction -- Chapter 5. Satisfaction classes. |
| Record Nr. | UNINA-9910349319103321 |
|
Kotlarski Henryk
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modern critical thought [[electronic resource] ] : an anthology of theorists writing on theorists / / edited by Drew Milne
| Modern critical thought [[electronic resource] ] : an anthology of theorists writing on theorists / / edited by Drew Milne |
| Pubbl/distr/stampa | Malden, MA ; ; Oxford, : Blackwell Pub., c2003 |
| Descrizione fisica | 1 online resource (383 p.) |
| Disciplina |
160
1908.9/04 |
| Altri autori (Persone) | MilneDrew |
| Soggetto topico |
Criticism (Philosophy)
Philosophy, Modern |
| ISBN |
1-281-32066-8
9786611320669 0-470-70263-X 0-470-75619-5 0-470-75554-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modern Critical Thought: An Anthology of Theorists Writing on Theorists; Contents; Acknowledgements; Introduction: Criticism and/or Critique; 1 Lukács on Marx; 2 Heidegger on Nietzsche; 3 Adorno on Freud; 4 Merleau-Ponty on Lukács; 5 Marcuse on Sartre; 6 Levinas on Husserl; 7 Gadamer on Heidegger; 8 Deleuze on Nietzsche and Kant; 9 Althusser on Marx; 10 Derrida on Lévi-Strauss; 11 Foucault on Derrida; 12 Habermas on Benjamin; 13 Rose on Lacan; 14 Bhabha on Fanon; 15 Butler on Kristeva and Foucault; 16 Žižek on Žižek; Index |
| Record Nr. | UNISA-996208299903316 |
| Malden, MA ; ; Oxford, : Blackwell Pub., c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Modern deductive logic : an introduction to its techniques and significance / Robert John Ackermann
| Modern deductive logic : an introduction to its techniques and significance / Robert John Ackermann |
| Autore | Ackermann, Robert John <1933- > |
| Pubbl/distr/stampa | London : Macmillan, 1970 |
| Descrizione fisica | viii, 261 p. ; 18 cm |
| Disciplina | 160 |
| Collana | Modern introductions to philosophy |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 333-11138-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000950720403321 |
|
Ackermann, Robert John <1933- >
|
||
| London : Macmillan, 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modern deductive logic : an introduction to its techniques and significance / Robert John Ackermann
| Modern deductive logic : an introduction to its techniques and significance / Robert John Ackermann |
| Autore | Ackermann, Robert John <1933- > |
| Edizione | [first edition] |
| Pubbl/distr/stampa | New York : Anchor Books, 1970 |
| Descrizione fisica | VIII, 261 p. ; 18 cm |
| Disciplina | 160 |
| Collana | New introductions to philosophy |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990007924900403321 |
|
Ackermann, Robert John <1933- >
|
||
| New York : Anchor Books, 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A modern elementary logic / / L. Susan Stebbing, revised by C.W.K. Mundle
| A modern elementary logic / / L. Susan Stebbing, revised by C.W.K. Mundle |
| Autore | Stebbing L. Susan (Lizzie Susan), <1885-1943., > |
| Edizione | [Revised edition.] |
| Pubbl/distr/stampa | Abingdon, Oxon ; ; New York : , : Routledge, , 2017 |
| Descrizione fisica | 1 online resource (227 pages) |
| Disciplina | 160 |
| Altri autori (Persone) | MundleC. W. K. <1916-> |
| Collana | Routledge Revivals |
| Soggetto topico | Logic |
| ISBN |
1-138-28379-7
1-315-27001-3 1-351-98079-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | I. The study of logic -- II. Propositions and their relations -- III. Compound propositions -- IV. The traditional syllogism -- V. Individuals, classes, and relations -- VI. Classification and description -- VII. Variables, propositional forms, and material implication -- VIII. Logical principles and the proof of propositions -- IX. Methodology of science. |
| Record Nr. | UNINA-9910165044803321 |
|
Stebbing L. Susan (Lizzie Susan), <1885-1943., >
|
||
| Abingdon, Oxon ; ; New York : , : Routledge, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modern Logic 1850-1950, East and West [[electronic resource] /] / edited by Francine F. Abeles, Mark E. Fuller
| Modern Logic 1850-1950, East and West [[electronic resource] /] / edited by Francine F. Abeles, Mark E. Fuller |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2016 |
| Descrizione fisica | 1 online resource (XIII, 258 p. 75 illus., 4 illus. in color.) |
| Disciplina | 160 |
| Collana | Studies in Universal Logic |
| Soggetto topico |
Mathematical logic
Logic Mathematics History Mathematical Logic and Foundations History of Mathematical Sciences |
| ISBN | 3-319-24756-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contributors -- Introduction -- Irving H. Anellis: Preface and Prospectus -- Irving H. Anellis and Francine F. Abeles: The Historical Sources of Tree Graphs and the Tree Method in the Work of Peirce and Gentzen -- Jean Paul Van Bendegem: Logic and Argumentation in Belgium: The Role of Leo Apostel -- Philippe de Rouilhan: Tarski’s Recantation: Reading the Postscript to “Wahrheitsbegriff” -- Jan Woleński: The Paradox of Analyticity and Related Issues -- David DeVidi and Herbert Korté: Naturalizing Natural Deduction -- Alberto Peruzzi: Category Theory and the Search for Universals: A Very Short Guide for Philosophers -- Roman Murawski: On the Way to Modern Logic – The Case of Polish Logic -- Valentin A. Bazhanov: Russian Origins of Non-Classical Logics -- Vladik Kreinovich: Constructive Mathematics in St. Petersburg, Russia: A (Somewhat Subjective) View from Within -- Jonathan P. Seldin: On Normalizing Disjunctive Intermediate Logic -- R.E. Hodel: A Natural Axiom System for Boolean Algebras with Applications. . |
| Record Nr. | UNINA-9910254072903321 |
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modèles Transitifs de la Théorie des Ensembles de Zermelo-Fraenkel / par Andrzej Mostowski
| Modèles Transitifs de la Théorie des Ensembles de Zermelo-Fraenkel / par Andrzej Mostowski |
| Autore | Mostowski, Andrzej |
| Pubbl/distr/stampa | Montreal : Les Presses de l'Université de Montréal, 1967 |
| Descrizione fisica | 170 p. ; 28 cm |
| Disciplina | 160 |
| Soggetto non controllato | Teoria degli insiemi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001036920403321 |
|
Mostowski, Andrzej
|
||
| Montreal : Les Presses de l'Université de Montréal, 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
