Mathematical Logic and Theoretical Computer Science covers various topics ranging from recursion theory to Zariski topoi. Leading international authorities discuss selected topics in a number of areas, including denotational semanitcs, reccuriosn theoretic aspects fo computer science, model theory and algebra, Automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic.
The most up-to-date review available in its field, Mathematical Logic and Theoretical Computer Science will be of interest to mathematical logicians, computer scientists, algebraists, algebraic geometers, differential geometers, differential topologists, and graduate students in mathematics and computer science.
"synopsis" may belong to another edition of this title.
David Kuekker is a professor of mathematics at the University of Maryland, College Park.
"About this title" may belong to another edition of this title.
US$ 20.92 shipping from United Kingdom to U.S.A.
Destination, rates & speedsSeller: Chiron Media, Wallingford, United Kingdom
Hardcover. Condition: New. Seller Inventory # 6666-TNFPD-9781138466890
Quantity: 5 available
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Seller Inventory # 370576459
Quantity: 3 available
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. Seller Inventory # 26375468948
Quantity: 3 available
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. Seller Inventory # 18375468958
Quantity: 3 available
Seller: moluna, Greven, Germany
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. David Kuekker is a professor of mathematics at the University of Maryland, College Park.Mathematical Logic and Theoretical Computer Science covers various topics ranging from recursion theory to Zariski topoi. Leading international authorities discus. Seller Inventory # 595404207
Quantity: Over 20 available