4869:-
Uppskattad leveranstid 10-15 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Inbunden 3529:-
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.
- Illustratör: black & white illustrations 1
- Format: Pocket/Paperback
- ISBN: 9780824777463
- Språk: Engelska
- Antal sidor: 408
- Utgivningsdatum: 1986-12-01
- Förlag: CRC Press Inc