Proof and computations

Saved in:
Bibliografiske detaljer
Hovedforfatter: Schwichtenberg, Helmut, 1942-
Corporate Authors: ProQuest (Firm), Association for Symbolic Logic
Andre forfattere: Wainer, S. S.
Format: Electronisk eBog
Sprog:engelsk
Udgivet: Cambridge : Cambridge University Press, 2012.
Serier:Perspectives in logic.
Fag:
Online adgang:Click to View
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!