Logic And Declarative Language Book

Name: Logic And Declarative Language, , Logic And Declarative Language
Brand: Informa PLC
SKU: 9780748408023
Price: 99.99 USD
Availability: InStock
Rating: 3 (2 reviews)

2 Ratings

Logic And Declarative Language, , Logic And Declarative Language

3 out of 5 stars based on 2 reviews

Logic And Declarative Language
Written by author M. Downward
Published by Taylor & Francis, Inc., March 1998
Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections betwe

Buy Digital USD$99.99

Preface
Introduction
Pt. 1 Logic without equality 1
1 Propositional logic 3
2 First-order logic 47
3 Principles of logic programming 87
4 Prolog 115
Pt. 2 Logic with equality 159
5 Logic with equality 161
6 Many-sorted abstract types 187
7 The included middle 211
8 Miranda 243
9 Intuitionistic logic and types 295
10 Languages and databases 329
Bibliography 357
Index 359

Title: Logic And Declarative Language

Manufacturer:

Informa PLC

Item Number: 9780748408023

Publication Date: March 1998

Number: 1

Product Description: Logic And Declarative Language

Universal Product Code (UPC): 9780748408023

WonderClub Stock Keeping Unit (WSKU): 9780748408023

Rating: 3/5 based on 2 Reviews

Image Location: https://wonderclub.com/images/covers/80/23/9780748408023.jpg

Category: Media >> Books

Weight: 0.200 kg (0.44 lbs)

Width: 0.000 cm (0.00 inches)

Heigh : 0.000 cm (0.00 inches)

Depth: 0.000 cm (0.00 inches)

Date Added: August 25, 2020, Added By: Ross

Date Last Edited: August 25, 2020, Edited By: Ross

Price	Condition	Delivery	Seller	Action
$99.99	Digital	Arrives between May 9 - Jun 8 Login to your account for a direct download. Some files are emailed from Dropbox. Continent $0.00 - World $0.00	WonderClub (9296 total ratings)

Question Concerning Logic And Declarative Language

Ask a Question about Logic And Declarative Language

No Question found!

Read Reviews for Logic And Declarative Language Write review

Robyn Villarin

reviewed Logic And Declarative Language on April 22, 2009

Logic And Declarative Language

Skimmed out of interest, fairly solid introduction to algorithmics, doesn't rely too heavily on previous or technical knowledge. Would recommend to a beginner.

You must be logged in to add to Wishlist

Logic And Declarative Language Book

Book Categories

Authors

Informa PLC

Question Concerning Logic And Declarative Language

Read Reviews for Logic And Declarative Language Write review

Login

Complaints

Blog

Games

Digital Media

Souls

Obituary

Contact Us

FAQ

You must be logged in to add to Wishlist

This item is in your Wish List

This item is in your Collection

This Item is in Your Inventory

You must be logged in to review the products

Add Logic And Declarative Language, , Logic And Declarative Language to the inventory that you are selling on WonderClub

Add Logic And Declarative Language, , Logic And Declarative Language to your collection on WonderClub

	Preface
	Introduction
Pt. 1	Logic without equality	1
1	Propositional logic	3
2	First-order logic	47
3	Principles of logic programming	87
4	Prolog	115
Pt. 2	Logic with equality	159
5	Logic with equality	161
6	Many-sorted abstract types	187
7	The included middle	211
8	Miranda	243
9	Intuitionistic logic and types	295
10	Languages and databases	329
	Bibliography	357
	Index	359