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.
Buchi's monadic second order successor arithmetic / Dirk Siefkes
| Buchi's monadic second order successor arithmetic / Dirk Siefkes |
| Autore | Siefkes, Dirk |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1970 |
| Descrizione fisica | xii, 130 p. ; 26 cm |
| Disciplina | 511.65 |
| Collana |
Decidable theories ; 1
Lecture notes in mathematics, 0075-8434 ; 120 |
| Soggetto topico |
Decidability
Predicate calculus Sequential machine theory |
| Classificazione |
AMS 11U05
QA3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000724409707536 |
Siefkes, Dirk
|
||
| Berlin ; New York : Springer-Verlag, 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff
| The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff |
| Autore | Ferrante, Jeanne |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1979 |
| Descrizione fisica | x, 243 p. : ill. ; 24 cm. |
| Disciplina | 510.3 |
| Altri autori (Persone) | Rackoff, Charles W. |
| Collana | Lecture notes in mathematics, 0075-8434 ; 718 |
| Soggetto topico |
Automata and formal grammars in connection with logical questions
Computational complexity Predicate calculus |
| ISBN | 3540095012 |
| Classificazione | AMS 03D05 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000773789707536 |
|
Ferrante, Jeanne
|
||
| Berlin : Springer-Verlag, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Formal semantics and pragmatics for natural languages / edited by F. Guenthner and S. J. Schmidt
| Formal semantics and pragmatics for natural languages / edited by F. Guenthner and S. J. Schmidt |
| Autore | Guenthner, Franz |
| Pubbl/distr/stampa | Boston : D. Reidel Publ. Co., c1979 |
| Descrizione fisica | viii, 378 p. : ill. ; 23 cm. |
| Disciplina | 510 |
| Altri autori (Persone) | Schmidt, Siegfried J. |
| Collana | Synthese language library ; 4 |
| Soggetto topico |
Grammars
Languages-philosophy Logic of natural languages Pragmatics Predicate calculus Semantics Tense (Logic) |
| ISBN | 9027707782 |
| Classificazione | AMS 03B65 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000901859707536 |
|
Guenthner, Franz
|
||
| Boston : D. Reidel Publ. Co., c1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Tableau systems for first order number theory and certain higher order theories / Sue Toledo
| Tableau systems for first order number theory and certain higher order theories / Sue Toledo |
| Autore | Toledo, Sue Ann |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1975 |
| Descrizione fisica | 339 p. ; 25 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 447 |
| Soggetto topico |
Number theory
Predicate calculus Proof theory |
| ISBN | 3540071490 |
| Classificazione | AMS 03F |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001410909707536 |
|
Toledo, Sue Ann
|
||
| Berlin ; New York : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
