top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
1: Theoretical Foundations / Leonard Bolc, Piotr Borowik
1: Theoretical Foundations / Leonard Bolc, Piotr Borowik
Autore Bolc, Leonard
Pubbl/distr/stampa Berlin ; Heidelberg, : Springer-Verlag, 1992
Descrizione fisica xii, 292 p. : ill. ; 24 cm
Altri autori (Persone) Borowik, Piotr
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03B48 - Probability and inductive logic [MSC 2020]
03B50 - Many-valued logic [MSC 2020]
03B52 - Fuzzy logic; logic of vagueness [MSC 2020]
03B60 - Other nonclassical logic [MSC 2020]
Soggetto non controllato Approximation Logic
Fuzzy Logic
Intuitionistic Logic
Logic
Many-valued Logic
Philosophical Logic
Probability Logic
Propositional calculus
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00289472
Bolc, Leonard  
Berlin ; Heidelberg, : Springer-Verlag, 1992
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Model Theory of Stochastic Processes / by Sergio Fajardo, H. Jerome Keisler
Model Theory of Stochastic Processes / by Sergio Fajardo, H. Jerome Keisler
Autore Fajardo, Sergio
Pubbl/distr/stampa Boca Raton, : Association for Symbolic Logic, : CRC, 2002
Descrizione fisica xii, 135 p. ; 23 cm
Altri autori (Persone) Keisler, Howard Jerome
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03B48 - Probability and inductive logic [MSC 2020]
03C98 - Applications of model theory [MSC 2020]
03H05 - Nonstandard models in mathematics [MSC 2020]
60-XX - Probability theory and stochastic processes [MSC 2020]
60G07 - General theory of stochastic processes [MSC 2020]
ISBN 97-8156-881-127
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00283756
Fajardo, Sergio  
Boca Raton, : Association for Symbolic Logic, : CRC, 2002
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui