RicercaInizia una nuova ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 1 - 10 di 40 (tempo di esecuzione: 0.017 secondi).
Titolo Data di pubblicazione Autore(i) File
Review of: W.Pohlers, Proof Theory. An Introduction, Heidelberg-New York 1993 A. Cantini
Review of: S.Feferman, Reflecting on incompleteness, Journal of Symbolic Logic 56 (1991), 1-49 1995 A.Cantini
Review of: S. Feferman, Towards useful type-free theories I, The Journal of Symbolic Logic, 49 (1984), 75-111 1995 A.Cantini
Review of : Cacace, Filippo , Meaning, reality and algorithms., in: Driessen, Alfred (ed.) et al. Mathematical undecidability, quantum nonlocality and the question of the existence of God. Dordrecht:, Kluwer Academic Publishers, (ISBN 0-77923-4306-9/hbk). 27-40 (1997), Zbl 0902.03027. 1997 A.Cantini
Review of : Ginisti, Jean-Pierre: La Logique Combinatoire. Paris: Presses Universitaires de France (ISBN 2-13-048010-pbk). 127 p. (1997) 1997 A.Cantini
Christian, C.C., Ein Aequivalent zum 1. Unvollstaendigkeitssatz, Sitzungsber., Abt.II, Oesterr. Akad. Wiss., Math.-Naturwiss.Kl.205 (1996), 35-55 (1997) 1997 A.Cantini
Review of : Glass, T., Rathjen, M., Schl\"uter, A. On the proof-theoretic strength of monotone induction, Annals of Pure and Applied Logic, 85, 1-46 (1997) 1997 A.Cantini
Review of: A. G. Dragalin, Cut-elimination in the theory of definable sets of natural numbers, Publicationes Mathematicae, 51, No.1-2, 153-164 (1997) 1998 A.Cantini
Review of : Dekkers. W; Bunder, M.; Barendregt, H., Completeness of two systems of illative combinatory logic for first -order propositional and predicate calculus. Arch. Math. Logic 37, No. 5-6, 327-341 (1998) 1998 A.Cantini
Review of: Antonelli, Gian Aldo, Extensional quotients for type theory and the consistency problem for NF, J.Symb.Log. 63,No. 1, 247-261 (1998) 1998 A.Cantini
Risultati 1 - 10 di 40 (tempo di esecuzione: 0.017 secondi).
↑ Back to top
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 1 - Contributo su rivista 40
  • 1 - Contributo su rivista::1e - Recensione 40
Data di pubblicazione
  • 2000 - 2010 20
  • 1993 - 1999 20
Editore
  • American Mathematical Society 3
Rivista
  • ZENTRALBLATT FÜR MATHEMATIK UND IHRE GRENZGEBIETE 17
  • ZENTRALBLATT MATH 17
  • THE JOURNAL OF SYMBOLIC LOGIC 3
  • THE BULLETIN OF SYMBOLIC LOGIC 2
  • ERKENNTNIS 1
Keyword
  • logic 1
  • paradox 1
  • semantics 1
  • truth 1
Lingua
  • eng 3
Accesso al fulltext
  • no fulltext 40