Mathematical Logic and Theoretical Computer Science 1

Vetenskap & teknik

Mathematical Logic and Theoretical Computer Science

David Kueker • Kueker • David W Kueker • Edgar G K Lopez-Escobar

Pocket

4689:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

408 sidor
1986

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.

Författare: David Kueker, Kueker, David W Kueker, Edgar G K Lopez-Escobar
Format: Pocket/Paperback
ISBN: 9780824777463
Språk: Engelska
Antal sidor: 408
Utgivningsdatum: 1986-12-22
Förlag: Taylor & Francis Inc