Nuova ricerca

« precedente     successivo »
(Elementi 21 - 31 di 31)

Visualizza documenti

Autore Titolo Collocazione Anno Tipologia Visualizza

HERMES, Hans

Prädikatenlogik und Theorie der rekursiven Funktionen.

M-29.-15-(1)

titolo analitico

visualizza dettagli

HEYTING, A.

L.E.J. Brouwer.

M-29.-15-(1)

titolo analitico

visualizza dettagli

HINTIKKA, Jaakko

Logic and philosophy.

M-29.-15-(1)

titolo analitico

visualizza dettagli

MacLANE, Saunders

Foundations of mathematics.

M-29.-15-(1)

titolo analitico

visualizza dettagli

LORENZEN, Paul

Operative Logik.

M-29.-15-(1)

titolo analitico

visualizza dettagli

FREUDENTHAL, Hans

The implicit philosophy of mathematics today.

M-29.-15-(1)

titolo analitico

visualizza dettagli

GÖDEL, Kurt

Remarks before the Princeton bicentennial con ference on problems in mathematics.

M-29.-15-(1)

titolo analitico

visualizza dettagli

MOISIL, G

La logique mathématique dans la République Socialiste de Roumanie.

M-29.-15-(1)

titolo analitico

visualizza dettagli

MONTAGUE, Richard

Pragmatics.

M-29.-15-(1)

titolo analitico

visualizza dettagli

CURRY, Haskell B.

Combinatory logic.

M-29.-15-(1)

titolo analitico

visualizza dettagli

MARTIN, Raymond M.

Semantics, analytic truth, and the new modalism.

M-29.-15-(1)

titolo analitico

visualizza dettagli

« precedente     successivo »
(Elementi 21 - 31 di 31)