JEDNOSTKA NAUKOWA KATEGORII A+

Note on arithmetic models for consistent formulae of the predicate calculus

Tom 37 / 1950

G. Kreisel Fundamenta Mathematicae 37 (1950), 265-285 DOI: 10.4064/fm-37-1-265-285

Autorzy

  • G. Kreisel

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek