An edition of Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls (1937)

Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls.

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Ein neuer Vollständigkeitsbeweis für das re ...
Hans Hermes
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by Open Library Bot
December 5, 2010 | History
Edit
An edition of Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls (1937)

Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls.

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Gerstenberg
Language
German
Pages
40

Check nearby libraries

Buy this book

Subjects
Symbolic and mathematical Logic
People
Gottlob Frege (1848-1925)

Showing 2 featured editions. View all 2 editions?

Edition Availability
Cover of: Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls.
Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls.
1970, Gerstenberg
in German
  • Not in Library
Libraries near you: WorldCat
Cover of: Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls.
Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls.
1937, S. Hirzel
in German
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references.
Reprint of the 1937 ed., Leipzig, Hirzel, which was issued as Bd. 1 of Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, n. F.
Bound with Roth, Eugen. Axiomatische Untersuchungen zur projektiven, affinen und metrischen Geometrie. Hildesheim, 1970; Hermes, Hans. Eine Axiomatisierung der allgemeinen Mechanik. Hildesheim, 1970; Gentzen, Gerhard. Die gegenwärtige Lage in der mathematischen Grundlagenforschung. Hildesheim, 1970; Hermes, Hans. Semiotik. Hildesheim, 1970; Schröter, Karl, 1905- . Ein allgemeiner Kalkülbegriff. Hildesheim, 1970; Ackermann, Wilhelm, 1896- . Ein System der typenfreien Logik. Hildesheim, 1970; and Schröter, Karl, 1905- . Axiomatisierung der Fregeschen Aussagenkalküle. Hildesheim, 1970.

Published in
Hildesheim
Series
Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, n. F. ;, Heft 1.

Classifications

Library of Congress
BC135 .H4 1970, BC135 .H4 1970 Heft 1

The Physical Object

Pagination
40 p.
Number of pages
40

ID Numbers

Open Library
OL5150983M
LCCN
74351370
OCLC/WorldCat
2603550

Source records

Library of Congress MARC record
Library of Congress MARC record
Library of Congress MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
December 5, 2010 Edited by Open Library Bot Added subjects from MARC records.
December 10, 2009 Created by WorkBot add works page