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.
Admissibility of logical inference rules / Vladimir V. Rybakov
| Admissibility of logical inference rules / Vladimir V. Rybakov |
| Autore | Rybakov, Vladimir V. |
| Pubbl/distr/stampa | Amsterdam : Elsevier, 1997 |
| Descrizione fisica | 617 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica matematica e fondamenti - Presentazione di ricerche
Logica proposizionale classica Logica classica del primo ordine |
| ISBN | 0-444-89505-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009504180403321 |
Rybakov, Vladimir V.
|
||
| Amsterdam : Elsevier, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Finite and algorithmic model theory / edited by: Javier Esparza, Christian Michaux, Charles Steinhorn
| Finite and algorithmic model theory / edited by: Javier Esparza, Christian Michaux, Charles Steinhorn |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, 2011 |
| Descrizione fisica | XI, 341 p. ; 23 cm |
| Disciplina | 511.3 |
| Collana | London Mathematical Society lecture note series |
| Soggetto non controllato |
Logica matematica e fondamenti - Presentazione di ricerche
Applicazioni della teoria di modelli |
| ISBN | 978-0-521-71820-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009338620403321 |
| Cambridge : Cambridge University Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Forcing with random variables and proof complexity / Jan Krajíček
| Forcing with random variables and proof complexity / Jan Krajíček |
| Autore | Krajíček, Jan |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, 2011 |
| Descrizione fisica | XVI, 247 p. ; 23 cm |
| Disciplina | 511.3 |
| Collana | London Mathematical Society lecture note series |
| Soggetto non controllato |
Logica matematica e fondamenti - Presentazione di ricerche
Modelli dell'aritmetica e della teoria degli insiemi Complessità delle dimostrazioni |
| ISBN | 978-0-521-15433-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009338600403321 |
| Krajíček, Jan | ||
| Cambridge : Cambridge University Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Independence-friendly logic : a game-theoretic approach / Allen L. Mann, Gabriel Sandu, Merlijn Sevenster
| Independence-friendly logic : a game-theoretic approach / Allen L. Mann, Gabriel Sandu, Merlijn Sevenster |
| Autore | Mann, Allen L. |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, 2011 |
| Descrizione fisica | VI, 208 p. ; 23 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Sandu, Gabriel
Sevenster, Merlijn |
| Collana | London Mathematical Society lecture note series |
| Soggetto non controllato |
Logica matematica e fondamenti - Presentazione di ricerche
Altre logiche non classiche |
| ISBN | 978-0-521-14934-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009362390403321 |
|
Mann, Allen L.
|
||
| Cambridge : Cambridge University Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logical frameworks for truth and abstraction : an axiomatic study / Andrea Cantini
| Logical frameworks for truth and abstraction : an axiomatic study / Andrea Cantini |
| Autore | Cantini, Andrea |
| Pubbl/distr/stampa | Amsterdam : Elsevier, 1996 |
| Descrizione fisica | XII, 461 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica combinatoria e lambda-calcolo
Logica matematica e fondamenti - Presentazione di ricerche Teoria della dimostrazione, generale Teoria della computabilità e della ricorsione astratte ed assiomatiche Fondamenti delle teorie classiche |
| ISBN | 0-444-82306-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009504070403321 |
|
Cantini, Andrea
|
||
| Amsterdam : Elsevier, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tools and techniques in modal logic / Marcus Kracht
| Tools and techniques in modal logic / Marcus Kracht |
| Autore | Kracht, Marcus |
| Pubbl/distr/stampa | Amsterdam : Elsevier, 1999 |
| Descrizione fisica | XIII, 559 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica matematica e fondamenti - Presentazione di ricerche
Logica modale |
| ISBN | 0-444-50055-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009504530403321 |
|
Kracht, Marcus
|
||
| Amsterdam : Elsevier, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||