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.
Mathematical logic in Asia [[electronic resource] ] : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 / / editors, S.S. Goncharov, R. Downey, H. Ono
| Mathematical logic in Asia [[electronic resource] ] : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 / / editors, S.S. Goncharov, R. Downey, H. Ono |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2006 |
| Descrizione fisica | 1 online resource (328p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) |
DowneyR. G (Rod G.)
GoncharovS. S OnoH |
| Soggetto topico |
Logic, Symbolic and mathematical
Mathematics |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-92443-1
9786611924430 981-277-274-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Another Characterization of the Deduction-Detachment Theorem (S V Babyonyshev); On Behavior of 2-Formulas in Weakly o-Minimal Theories (B S Baizhanov 38; B Sh Kulpeshov); Arithmetic Turing Degrees and Categorical Theories of Computable Models (E Fokina); Negative Data in Learning Languages (S Jain 38; E Kinber); Effective Cardinals in the Nonstandard Universe (V Kanovei 38; M Reeken); Model-Theoretic Methods of Analysis of Computer Arithmetic (S P Kovalyov); The Functional Completeness of Leniewski's Systems (F Lepage); Hierarchies of Randomness Tests (J Reimann 38; F Stephan); Intransitive Linear Temporal Logic Based on Integer Numbers, Decidability, Admissible Logical Consecutions (V V Rybakov); The Logic of Prediction (E Vityaev); Conceptual Semantic Systems Theory and Applications (K E Wolff); Complexity Results on Minimal Unsatisfiable Formulas (X Zhao); and other papers. |
| Record Nr. | UNINA-9910450959203321 |
| Singapore ; ; Hackensack, NJ, : World Scientific, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical logic in Asia [[electronic resource] ] : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 / / editors, S.S. Goncharov, R. Downey, H. Ono
| Mathematical logic in Asia [[electronic resource] ] : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 / / editors, S.S. Goncharov, R. Downey, H. Ono |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2006 |
| Descrizione fisica | 1 online resource (328p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) |
DowneyR. G (Rod G.)
GoncharovS. S OnoH |
| Soggetto topico |
Logic, Symbolic and mathematical
Mathematics |
| ISBN |
1-281-92443-1
9786611924430 981-277-274-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Another Characterization of the Deduction-Detachment Theorem (S V Babyonyshev); On Behavior of 2-Formulas in Weakly o-Minimal Theories (B S Baizhanov 38; B Sh Kulpeshov); Arithmetic Turing Degrees and Categorical Theories of Computable Models (E Fokina); Negative Data in Learning Languages (S Jain 38; E Kinber); Effective Cardinals in the Nonstandard Universe (V Kanovei 38; M Reeken); Model-Theoretic Methods of Analysis of Computer Arithmetic (S P Kovalyov); The Functional Completeness of Leniewski's Systems (F Lepage); Hierarchies of Randomness Tests (J Reimann 38; F Stephan); Intransitive Linear Temporal Logic Based on Integer Numbers, Decidability, Admissible Logical Consecutions (V V Rybakov); The Logic of Prediction (E Vityaev); Conceptual Semantic Systems Theory and Applications (K E Wolff); Complexity Results on Minimal Unsatisfiable Formulas (X Zhao); and other papers. |
| Record Nr. | UNINA-9910777305203321 |
| Singapore ; ; Hackensack, NJ, : World Scientific, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 / / editors, S.S. Goncharov, R. Downey, H. Ono
| Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 / / editors, S.S. Goncharov, R. Downey, H. Ono |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2006 |
| Descrizione fisica | 1 online resource (328p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) |
DowneyR. G (Rod G.)
GoncharovS. S OnoHiroakira |
| Soggetto topico |
Logic, Symbolic and mathematical
Mathematics |
| ISBN |
9786611924430
9781281924438 1281924431 9789812772749 981277274X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Another Characterization of the Deduction-Detachment Theorem (S V Babyonyshev); On Behavior of 2-Formulas in Weakly o-Minimal Theories (B S Baizhanov 38; B Sh Kulpeshov); Arithmetic Turing Degrees and Categorical Theories of Computable Models (E Fokina); Negative Data in Learning Languages (S Jain 38; E Kinber); Effective Cardinals in the Nonstandard Universe (V Kanovei 38; M Reeken); Model-Theoretic Methods of Analysis of Computer Arithmetic (S P Kovalyov); The Functional Completeness of Leniewski's Systems (F Lepage); Hierarchies of Randomness Tests (J Reimann 38; F Stephan); Intransitive Linear Temporal Logic Based on Integer Numbers, Decidability, Admissible Logical Consecutions (V V Rybakov); The Logic of Prediction (E Vityaev); Conceptual Semantic Systems Theory and Applications (K E Wolff); Complexity Results on Minimal Unsatisfiable Formulas (X Zhao); and other papers. |
| Altri titoli varianti |
Proceedings of the 9th Asian Logic Conference
Ninth Asian Logic Conference |
| Record Nr. | UNINA-9910972930803321 |
| Singapore ; ; Hackensack, NJ, : World Scientific, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||