Utvidet returrett til 31. januar 2025

Bøker av George (York University Tourlakis

Filter
Filter
Sorter etterSorter Populære
  • av George (York University Tourlakis
    1 551,-

    With a focus on Unbound Register Machines (URMs), this book introduces new ideas and topics using real computer-related examples to help readers gain the skills and intuition that are key to successful programming.

  • av George (York University Tourlakis
    1 551,-

    A comprehensive and user-friendly guide to the use of logic in mathematical reasoning Mathematical Logic presents a comprehensive introduction to formal methods of logic and their use as a reliable tool for deductive reasoning.

  • av Toronto) Tourlakis & George (York University
    872 - 2 103,-

    This work provides the reader with a solid foundation in set theory, while the inclusion of topics such as absoluteness, two expositions of Godel's constructible universe, numerous ways of viewing recursion, and a chapter on Cohen forcing, will usher the advanced reader to the doorstep of the research literature.

  • av Toronto) Tourlakis & George (York University
    679 - 1 360,-

    This work includes formal proof techniques, a section on applications of compactness, a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.