Logic and Computer Science
335 kr
Spara till önskelista
The courses given at the 1st CIME Summer school of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers and cover such topics as isomorphism conjecture and its generalization, intuitionistic logic and PROLOG programming.
- Undertitel
- Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
- Författare
- Homer Steven, Nerode Anil, Richard A. Platek, Sacks Gerald E., Scedrov Andre
- Redaktör
- Odifreddi Piergiorgio
- ISBN
- 9783540527343
- Språk
- engelska
- Vikt
- 281 gram
- Utgivningsdatum
- 1990-07-17
- Sidor
- 170
