{
"item_title" : "Mathematical Logic and Theoretical Computer Science",
"item_author" : [" David Kueker "],
"item_description" : "This book includes articles on denotational semanitcs, recursion theoretic aspects of computer science, model theory and algebra, automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic. It is intended for mathematical logicians and computer scientists.",
"item_img_path" : "https://covers4.booksamillion.com/covers/bam/0/82/477/746/0824777468_b.jpg",
"price_data" : {
"retail_price" : "395.00", "online_price" : "395.00", "our_price" : "395.00", "club_price" : "395.00", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : ""
}
}
Overview
This book includes articles on denotational semanitcs, recursion theoretic aspects of computer science, model theory and algebra, automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic. It is intended for mathematical logicians and computer scientists.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9780824777463
- ISBN-10: 0824777468
- Publisher: CRC Press
- Publish Date: December 1986
- Dimensions: 9.88 x 7 x 0.73 inches
- Shipping Weight: 1.57 pounds
- Page Count: 408
Related Categories
