AUSTRALIA-WIDE LOW FLAT RATE $9.90

Close Notification

Your cart does not contain any items

Mathematical Logic and Theoretical Computer Science by David Kueker at Abbey's Bookshop,
Mathematical Logic and Theoretical Computer Science
— —
David Kueker Edgar G. K. Lopez-Escobar

Mathematical Logic and Theoretical Computer Science

David Kueker,  Edgar G. K. Lopez-Escobar,  Carl H. Smith

$389

Hardback

Not in-store but you can order this
How long will it take?
English
CRC Press
06 November 2017
Set theory
Series: Lecture Notes in Pure and Applied Mathematics
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.
By:  
Edited by:   ,
Imprint:   CRC Press
Country of Publication:   United Kingdom
Dimensions:   Height: 254mm,  Width: 178mm, 
Weight:   453g
ISBN:   9781138466890
ISBN 10:   1138466891
Series:   Lecture Notes in Pure and Applied Mathematics
Pages:   408
Publication Date:  
Audience:   Professional and scholarly ,  Undergraduate
Format:   Hardback
Publisher's Status:   Active
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.

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

See Also

Mathematical Logic and Theoretical Computer Science

Fast Track to Forcing

Mirna Džamonja

Hardback

$141.95 

Not in-store but you can order this

ADD +
Mathematical Logic and Theoretical Computer Science

Theory of Fuzzy Differential Equations...

V. Lakshmikantham

Paperback

$131 

Not in-store but you can order this

ADD +
Mathematical Logic and Theoretical Computer Science

Taking the “Oof!” Out of Proofs...

Alexandr Draganov

Hardback

$263 

Not in-store but you can order this

ADD +
Mathematical Logic and Theoretical Computer Science

Algebraic Computability and Enumeration...

Recursion Theory and Descriptive...

Cyrus F. Nourani

Paperback

$175 

Not in-store but you can order this

ADD +
Mathematical Logic and Theoretical Computer Science

Recent Advances and Applications...

Dhananjay Gopal (GURU GHASIDAS VISHWAVIDYALAYA,...

Hardback

$326 

Not in-store but you can order this

ADD +
Mathematical Logic and Theoretical Computer Science

Neutrices and External Numbers

A Flexible Number System

Bruno Dinis (University of Lisbon,...

Hardback

$326 

Not in-store but you can order this

ADD +