David W. Kueker – författare

Visar alla böcker från författaren David W. Kueker. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Mathematical Logic and Theoretical Computer Science

   Av David Kueker, David W. Kueker m. fl.

   Häftad, 1986

   4378 kr

   Lägg i varukorg

   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.