Home

Home
About
Contact

Begin your search of the AGOSR Open Access Database

Subject:

03F40 (1)
68V20 (1)
math.LO (1)

Publisher:

(1)

Search

Reset

All Fields

Contributors

DOI

OAI

Results: 1

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

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

LC PAULSON

Jul 09, 2014

math.LO math.LO 68V20 03F40

Published by:

Join the Movement

About AGOSR | Become a Publisher Member | Publishers | Ethical Standards | Inclusion | Open Access Repository | Stay Informed

Copyright © 2025, AGOSR, all rights reserved.