Introduction to mathematical logic View on Open Library

Introduction to mathematical logic

by Hans Hermes

No reviews yet
First published: 1973 1 language ISBN: 9783642871320
Subjects
Symbolic and mathematical Logic

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Hans Hermes

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

Aufzählbarkeit, Entscheidbarkeit, Berech...

Einführung in die Verbandstheorie

Einführung in die Verbandstheorie

Enumerability, Decidability, Computability

Enumerability, Decidability, Computabili...

Einführung in die mathematische Logik

Einführung in die mathematische Logik

Eine Termlogik mit Auswahloperator

Eine Termlogik mit Auswahloperator

Term logic with choice operator

Term logic with choice operator

You Might Also Like

More in Symbolic and mathema...
Tractatus logico-philosophicus

Tractatus logico-philosophicus

Ludwig Wittgenstein
An Investigation of the Laws of Thought (Barnes & Noble)

An Investigation of the Laws of Thought ...

George Boole
Algèbre de la logique

Algèbre de la logique

Louis Couturat
The Game of Logic

The Game of Logic

Lewis Carroll
Gödel's proof

Gödel's proof

Ernest Nagel
Philosophische Untersuchungen

Philosophische Untersuchungen

Ludwig Wittgenstein