Cantitate/Preț
Produs
Total produse
Vezi coșul
Mathematical Logic and Theoretical Computer Science de David Kueker

Mathematical Logic and Theoretical Computer Science: Lecture Notes in Pure and Applied Mathematics

Autor David Kueker
en Limba Engleză Hardback – 6 noi 2017
Mathematical Logic and Theoretical Computer Science covers various topics ranging from recursion theory to Zariski topoi. Leading international authorities discuss selected topics in a number of areas, including denotational semanitcs, reccuriosn theoretic aspects fo computer science, model theory and algebra, Automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic.
The most up-to-date review available in its field, Mathematical Logic and Theoretical Computer Science will be of interest to mathematical logicians, computer scientists, algebraists, algebraic geometers, differential geometers, differential topologists, and graduate students in mathematics and computer science.
Citește tot Restrânge

Din seria Lecture Notes in Pure and Applied Mathematics

Preț: 110920 lei

Preț vechi: 156459 lei
-29%

Puncte Express: 1664
Preț estimativ în valută:
19609€ • 23518$ • 17046£

Carte indisponibilă temporar


Wish list
Gift list
Am citit!
Adaugă în listă
Doresc să fiu notificat când acest titlu va fi disponibil:
Trimite

Specificații

ISBN-13: 9781138466890
ISBN-10: 1138466891
Pagini: 408
Dimensiuni: 178 x 254 x 33 mm
Greutate: 0.91 kg
Ediția:1
Editura: CRC Press
Colecția CRC Press
Seria Lecture Notes in Pure and Applied Mathematics

Public țintă

Professional

Cuprins

Type 1 Calculus and Automated Mathematics. Lambda Calculus Extended With Segments. Well-Ordering and Induction in Intuitioinistic Logic. Separating Relaltivized Complexity Classes. Generalizing Automath By Means Of A Lambda-Typed Lambda Calculus. Local Concepts and Germ Representability. Model Theory of Profinite Groups Having IP. An Extension of Frege Structures. Oracles: Three New Results. Kueker's Conjecture For O Minimal Theories. On The Embedding of Manifolds Into The Smooth Zariski Topos. Rings Of Smooth Functions And Their Localizations. Interpolation And Conceptual Completeness For Pretopose Via Category Theory. Finite QE Rings In Characterist 4. Computatable Functions In Categories. A Note On The Complexity of Synthesizing Finite Machines.

Notă biografică

David Kuekker is a professor of mathematics at the University of Maryland, College Park.

Descriere

The most up-to-date review available in its field, Mathematical Logic and Theoretical Computer Science will be of interest to mathematical logicians, computer scientists, algebraists, algebraic geometers, differential geometers, differential topologists, and graduate students in mathematics and computer science.