Introduction to Mathematical Logic - Universitext
Latest Publications

TOTAL DOCUMENTS

9

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540058199, 9783642871320

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Extensions of the Language, Normal Forms

Introduction to Mathematical Logic - Universitext ◽

10.1007/978-3-642-87132-0_7 ◽

1973 ◽

pp. 166-188

Author(s):

Hans Hermes

Keyword(s):

Download Full-text

Gödel’s Completeness Theorem

Introduction to Mathematical Logic - Universitext ◽

10.1007/978-3-642-87132-0_5 ◽

1973 ◽

pp. 122-143

Author(s):

Hans Hermes

Keyword(s):

Completeness Theorem ◽

Gödel’S Completeness Theorem

Download Full-text

Miscellaneous

Introduction to Mathematical Logic - Universitext ◽

10.1007/978-3-642-87132-0_9 ◽

1973 ◽

pp. 209-228

Author(s):

Hans Hermes

Download Full-text

The Theorems of A. Robinson, Craig and Beth

Introduction to Mathematical Logic - Universitext ◽

10.1007/978-3-642-87132-0_8 ◽

1973 ◽

pp. 189-208

Author(s):

Hans Hermes

Download Full-text

The Semantics of Predicate Logic

Introduction to Mathematical Logic - Universitext ◽

10.1007/978-3-642-87132-0_3 ◽

1973 ◽

pp. 72-85

Author(s):

Hans Hermes

Keyword(s):

Predicate Logic

Download Full-text

The Language of Predicate Logic

Introduction to Mathematical Logic - Universitext ◽

10.1007/978-3-642-87132-0_2 ◽

1973 ◽

pp. 45-71

Author(s):

Hans Hermes

Keyword(s):

Predicate Logic

Download Full-text

Peano’s Axiom System

Introduction to Mathematical Logic - Universitext ◽

10.1007/978-3-642-87132-0_6 ◽

1973 ◽

pp. 144-165

Author(s):

Hans Hermes

Keyword(s):

Download Full-text

A Predicate Calculus

Introduction to Mathematical Logic - Universitext ◽

10.1007/978-3-642-87132-0_4 ◽

1973 ◽

pp. 86-121

Author(s):

Hans Hermes

Keyword(s):

Predicate Calculus

Download Full-text

Introduction

Introduction to Mathematical Logic - Universitext ◽

10.1007/978-3-642-87132-0_1 ◽

1973 ◽

pp. 1-44

Author(s):

Hans Hermes

Download Full-text