Bibliopolis Libri
Libri editi da Bibliopolis con argomento Logica
libro
Scritti postumi
Frege Gottlob, Picardi E. (Cur.)
Bibliopolis , 1987
Archivio Di Logica E Filos. Della Matem.
disp. incerta
ACQUISTA
libro
Logica ed esperienza. In ricordo di Leo Lugarini
Cantillo G. (Cur.), Di Tommaso G. (Cur.), Vitiello V. (Cur.)
Bibliopolis , 2009
Serie Studi
disp. incerta
ACQUISTA
libro
Proof theory of impredicative subsystems of analysis
Buchholz Wilfried, Schütte Kurt
Bibliopolis , 1988
Studies In Proof Theory
disp. incerta
ACQUISTA
libro
Il continuo. Indagini critiche sui fondamenti dell'analisi
Weyl Hermann
Bibliopolis , 1977
Archivio Di Logica E Filos. Della Matem.
disp. incerta
ACQUISTA
libro
Proof theory and logical complexity
Girard Jean-Yves
Bibliopolis , 1987
Studies In Proof Theory
disp. incerta
ACQUISTA
libro
Scritti sui fondamenti della matematica
Dedekind Julius W., Gana F. (Cur.)
Bibliopolis , 1982
Archivio Di Logica E Filos. Della Matem.
disp. incerta
ACQUISTA
libro
Logica e dialettica. In ricordo di Livio Sichirollo
Bordoli R. (Cur.)
Bibliopolis , 2006
Memorie Ist.Ital. Per Gli Studi Filosof.
disp. incerta
ACQUISTA
libro
Selected papers in proof theory
Mints E. Grigorii
Bibliopolis , 1992
Studies In Proof Theory
disp. incerta
ACQUISTA
libro
Fixed point constructions in various theories of mathematical logic
Somaruga Rosolemos Giovanni
Bibliopolis , 1991
Fuori Collana
disp. incerta
ACQUISTA
libro
Introduction to deontic logic and the theory of normative systems
Aqvist Lennart
Bibliopolis , 1988
Indices
disp. incerta
ACQUISTA
libro
Logical investigations of predication theory and the problem of universals
Cocchiarella Nino
Bibliopolis , 1986
Indices
disp. incerta
ACQUISTA
libro
Theories for admissible sets a unifying approach to proof theory
Jäger Gerhard
Bibliopolis , 1986
Studies In Proof Theory.Lecture Notes
disp. incerta
ACQUISTA
libro
Modal logic and classical logic
Van Benthem Johan
Bibliopolis , 1985
Indices
disp. incerta
ACQUISTA
libro
Selected essays
Van Heijenoort Jean
Bibliopolis , 1985
History Of Logic
disp. incerta
ACQUISTA
libro
Intuitionistic type theory
Martin Löf Per
Bibliopolis , 1984
Studies In Proof Theory.Lecture Notes
disp. incerta
ACQUISTA
libro
Una teoria consequenzialista dei condizionali
Pizzi Claudio
Bibliopolis , 1984
Fuori Collana
disp. incerta
ACQUISTA
libro
Categorial grammar and logical form of quantification
Levin Harold
Bibliopolis , 1982
Indices
disp. incerta
ACQUISTA
libro
Completezza, compattezza e indecidibilità
Manaster Alfred B.
Bibliopolis , 1981
Testi Per Lo Studio Della Logica Matem.
disp. incerta
ACQUISTA
libro
Proprietà e operazioni. Teorie non estensionali delle classi
Cantini Andrea
Bibliopolis , 1983
Studi Di Logica E Fondam. Della Matemat.
disp. incerta
ACQUISTA
libro
Indagini semantiche sulle logiche intermedie proposizionali
Minari P. Luigi
Bibliopolis , 1989
Studi Di Logica E Fondam. Della Matemat.
disp. incerta
ACQUISTA
libro
Bounded arithmetic
Buss Samuel R.
Bibliopolis , 1986
Studies In Proof Theory.Lecture Notes
disp. incerta
ACQUISTA
libro
Atti del Congresso nazionale di logica (1979)
Bernini S. (Cur.)
Bibliopolis , 1981
disp. incerta
ACQUISTA