Natural deduction

View on Open Library

Natural deduction

by John Mueller Anderson

No reviews yet

First published: 1962 1 language ISBN: 9781013382604

Subjects

Metamathematics Symbolic and mathematical Logic Axiom Logik

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by John Mueller Anderson

The realm of art

The realm of art

Realm of Art

The individual and the new world

The individual and the new world

The truth of freedom

The truth of freedom

Discourse on Thinking; A Translation of Gelassenheit

Discourse on Thinking; A Translation of ...

Natural deduction, the logical basis of axiom systems

Natural deduction, the logical basis of ...

You Might Also Like

More in Metamathematics

Gödel's proof

Ernest Nagel

Gödel, Escher, Bach

Gödel, Escher, Bach

Douglas R. Hofstadter

Metamagical Themas

Metamagical Themas

Douglas R. Hofstadter

How to Bake Pi

Eugenia Cheng

Introduction to metamathematics

Introduction to metamathematics

Stephen Cole Kleene

The Mathematics of Logic

The Mathematics of Logic

Richard W. Kaye