Begin your search of the AGOSR Open Access Database
Cover Image for System.Linq.Enumerable+EnumerablePartition`1[System.Char]

A MACHINE-ASSISTED PROOF OF GÖDEL'S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS

OAI: oai:www.repository.cam.ac.uk:1810/245422
Published by:

Abstract