JavaScript is disabled for your browser. Some features of this site may not work without it.
The Optimality of Induction as an Axiomatization of Arithmetic

Author
Leivant, Daniel
Abstract
NO ABSTRACT SUPPLIED
Date Issued
1980-01Publisher
Cornell University
Subject
computer science; technical report
Previously Published As
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR80-450
Type
technical report