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 MARC Bot
October 11, 2020 | 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 / OPDS | Wikipedia citation
October 11, 2020 Edited by MARC Bot import existing book
February 1, 2012 Edited by LC Bot import new book
January 25, 2012 Edited by LC Bot import new book
March 10, 2010 Edited by 77.47.54.7 Edited without comment.
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record