Cantitate/Preț
Produs

Logic, Computation, Hierarchies: ontos mathematical logic, cartea 4

Editat de Vasco Brattka, Hannes Diener, Dieter Spreen
en Electronic book text – 3 sep 2014
Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.
Citește tot Restrânge

Din seria ontos mathematical logic

Preț: 57813 lei

Preț vechi: 79196 lei
-27%

Puncte Express: 867

Indisponibil temporar

Doresc să fiu notificat când acest titlu va fi disponibil:

Specificații

ISBN-13: 9781614518044
ISBN-10: 1614518041
Pagini: 450
Ediția:
Editura: De Gruyter
Seria ontos mathematical logic

Locul publicării:Berlin/Boston

Notă biografică

Brattka, Univs. Bundeswehr München and Cape Town; Diener, Univs. Siegen and Canterbury, NZ; Spreen, Univs. Siegen and South Africa.