Logic, Language, Information, and Computation
Editat de Juliette Kennedy, Ruy J. G. B. De Queirozen Limba Engleză Paperback – 30 iun 2017
The 28 contributed papers were carefully reviewed and selected from 61 submissions. They cover interdisciplinary research in pure and applied logic, aiming at interactions between logic and the sciences related to information and computation.
Preț: 327.92 lei
Preț vechi: 409.89 lei
-20%
Puncte Express: 492
Carte tipărită la comandă
Livrare economică 09-23 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783662553855
ISBN-10: 3662553856
Pagini: 412
Ilustrații: X, 401 p. 25 illus.
Dimensiuni: 155 x 235 x 23 mm
Greutate: 0.62 kg
Ediția:1st edition 2017
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3662553856
Pagini: 412
Ilustrații: X, 401 p. 25 illus.
Dimensiuni: 155 x 235 x 23 mm
Greutate: 0.62 kg
Ediția:1st edition 2017
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Cuprins
Logic and Language.- Logic and Information.- Computation.- Mathematical Logic.- Theory of Computation.- Model Theory. - Proof Theory.- Type Theory. Computability Theory. - Complexity Theory