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.
Categorial grammar / edited by Wojciech Buszkowski, Witold Marciszewski, Johan van Benthem
| Categorial grammar / edited by Wojciech Buszkowski, Witold Marciszewski, Johan van Benthem |
| Pubbl/distr/stampa | Amsterdam : Benjamins, 1988 |
| Descrizione fisica | VIII, 365 p. ; 23 cm |
| Disciplina | 415 |
| Collana | Linguistic and literary studies in eastern Europe |
| Soggetto non controllato | Grammatica |
| ISBN | 9027215308 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990004335560403321 |
| Amsterdam : Benjamins, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Essays in logical semantics / Johan van Benthem
| Essays in logical semantics / Johan van Benthem |
| Autore | Benthem, Johan van |
| Pubbl/distr/stampa | Dordrecht [etc.] : Reidel, 1986 |
| Descrizione fisica | xi, 225 p. |
| Disciplina | 160 |
| Collana | Studies in linguistics and philosophy |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 90-277-2091-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001089750403321 |
Benthem, Johan van
|
||
| Dordrecht [etc.] : Reidel, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Games, norms and reasons : logic at the crossroads / edited by Johan van Benthem, Amitabha Gupta, Eric Pacuit
| Games, norms and reasons : logic at the crossroads / edited by Johan van Benthem, Amitabha Gupta, Eric Pacuit |
| Pubbl/distr/stampa | New York : Springer, 2011 |
| Descrizione fisica | XVI, 231 p. ; 24 cm |
| Collana | Synthese Library |
| ISBN |
978-94-007-0713-9
978-94-007-0714-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009374780403321 |
| New York : Springer, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Language in action : categories, lambdas and dynamic logic / Johan Van Benthem
| Language in action : categories, lambdas and dynamic logic / Johan Van Benthem |
| Autore | Benthem, Johan van |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1991 |
| Descrizione fisica | x, 349 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica
Calcolo lambda |
| ISBN | 0-444-89000-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001321330403321 |
|
Benthem, Johan van
|
||
| Amsterdam [etc.] : North-Holland, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modal logic for open minds / Johan Van Benthem
| Modal logic for open minds / Johan Van Benthem |
| Autore | Benthem, Johan van |
| Pubbl/distr/stampa | Stanford, California : CSLI Center for the study of language and information, @2010 |
| Descrizione fisica | xi, 381 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | CSLI Lecture notes |
| Soggetto non controllato | Logica matematica |
| ISBN | 978-1-57586-598-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009873570403321 |
|
Benthem, Johan van
|
||
| Stanford, California : CSLI Center for the study of language and information, @2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proof, computation and agency : logic at the crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh
| Proof, computation and agency : logic at the crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh |
| Pubbl/distr/stampa | Dordrecht : Springer, 2011 |
| Descrizione fisica | XXIV, 371 p. ; 24 cm |
| Collana | Synthese library |
| ISBN |
978-94-007-0079-6
978-94-007-0080-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009381180403321 |
| Dordrecht : Springer, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Logic of Time : a Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse / J.F.A.K. van Benthem
| The Logic of Time : a Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse / J.F.A.K. van Benthem |
| Autore | Benthem, Johan van |
| Pubbl/distr/stampa | Dordrecht (NL) : Reidel, 1983 |
| Descrizione fisica | xvi, 260 p. ; 23 cm |
| Disciplina | 160 |
| Collana | Synthese Library |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 90-277-1421-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001073070403321 |
|
Benthem, Johan van
|
||
| Dordrecht (NL) : Reidel, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
