top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
A logik book / Robert M. Johnson
A logik book / Robert M. Johnson
Autore Johnson, Robert M.
Edizione [2° edz]
Pubbl/distr/stampa Belmont : Wadsworth, 1992
Descrizione fisica XVII,382 p. ; 24 cm
Disciplina 160
Soggetto non controllato LOGICA
ISBN 0-534-16500-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990000520680403321
Johnson, Robert M.
Belmont : Wadsworth, 1992
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A Precis of Mathematical Logic / J.M. Bochenski ; translated from the French and German editions by Otto Bird
A Precis of Mathematical Logic / J.M. Bochenski ; translated from the French and German editions by Otto Bird
Autore Bochenski, Joseph M. <1902- >
Pubbl/distr/stampa Dordrecht (NL) : Reidel, 1959
Descrizione fisica 100 p. ; 23 cm
Disciplina 160
Collana Synthese Library
Soggetto non controllato Logica
Ricorsività
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000963220403321
Bochenski, Joseph M. <1902- >  
Dordrecht (NL) : Reidel, 1959
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A profile of mathematical logic / Howard Delong
A profile of mathematical logic / Howard Delong
Autore Delong, Howard
Pubbl/distr/stampa Reading [Mass.] [etc.] : Addison-Wesley, 1970
Descrizione fisica XIV, 304 p. ; 24 cm
Disciplina 160
Collana Addison-Wesley series in mathematics
Soggetto non controllato Logica
Ricorsività
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001145560403321
Delong, Howard  
Reading [Mass.] [etc.] : Addison-Wesley, 1970
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A system of logic : ratiocinative and inductive : being a connected view of the principles of evidence and the methods of scientific investigation / by John Stuart Mill
A system of logic : ratiocinative and inductive : being a connected view of the principles of evidence and the methods of scientific investigation / by John Stuart Mill
Autore Mill, John Stuart <1806-1873>
Pubbl/distr/stampa London : Longmans, 1965
Descrizione fisica XVI, 622 p. ; 19 cm
Disciplina 160
Soggetto non controllato Logica - Studi
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990004097350403321
Mill, John Stuart <1806-1873>  
London : Longmans, 1965
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A Theory of Formal Deducibility / by Haskell B. Curry
A Theory of Formal Deducibility / by Haskell B. Curry
Autore Curry, Haskell B.
Edizione [3rd printing]
Pubbl/distr/stampa Notre Dame [Indiana] : University of Notre Dame Press, 1966, c1950
Descrizione fisica xi, 129 p. ; 23 cm
Disciplina 160
Collana Notre Dame Mathematical Lectures
Soggetto non controllato Logica
Ricorsività
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000980090403321
Curry, Haskell B.  
Notre Dame [Indiana] : University of Notre Dame Press, 1966, c1950
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A Theory of Sets / by Anthony P. Morse
A Theory of Sets / by Anthony P. Morse
Autore Morse, Anthony P.
Pubbl/distr/stampa New York [etc.] : Academic Press, 1965
Descrizione fisica xxxi, 130 p. ; 24 cm
Disciplina 160
Collana Pure and applied mathematics
Soggetto non controllato Teoria degli insiemi
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001036630403321
Morse, Anthony P.  
New York [etc.] : Academic Press, 1965
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A Transfinite Type Theory with Type Variables / by P.B. Andrews
A Transfinite Type Theory with Type Variables / by P.B. Andrews
Autore Andrews, Peter B.
Pubbl/distr/stampa Amsterdam : North-Holland, 1965
Descrizione fisica xv, 143 p. ; 23 cm
Disciplina 160
Soggetto non controllato Logica
Ricorsività
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000953750403321
Andrews, Peter B.  
Amsterdam : North-Holland, 1965
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Abaelardiana inedita / [edited by] L. Minio-Paluello
Abaelardiana inedita / [edited by] L. Minio-Paluello
Autore Abaelardus, Petrus <1079-1142>
Pubbl/distr/stampa Roma : Edizioni di Storia e letteratura, 1958
Descrizione fisica XLVIII, 160 p. ; 22 cm.
Disciplina 160
Altri autori (Persone) Minio-Paluello, Lorenzo
Collana Twelfth century logic. Texts and studies ; 2
Soggetto topico Filosofia medievale
Logica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione lat
Record Nr. UNISALENTO-b10923949
Abaelardus, Petrus <1079-1142>  
Roma : Edizioni di Storia e letteratura, 1958
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Abaelardiana Inedita / L. Minio-Paluello
Abaelardiana Inedita / L. Minio-Paluello
Autore Minio-Paluello, Lorenzo
Pubbl/distr/stampa Roma : Edizioni di storia e letteratura, 1958
Descrizione fisica XLVIII, 160 p. ; 23 cm
Disciplina 160
Collana Twelfth century logic ; 2
Soggetto topico Logica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-b12734561
Minio-Paluello, Lorenzo  
Roma : Edizioni di storia e letteratura, 1958
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Abstract set theory / Abraham A. Fraenkel
Abstract set theory / Abraham A. Fraenkel
Autore Fraenkel, Abraham Adolf <1891-1965>
Pubbl/distr/stampa Amsterdam : North-Holland publishing company, 1953
Descrizione fisica XII, 479 p. ; 23 cm
Disciplina 160
510
Collana Studies in logic and the foundations of mathematics
Soggetto non controllato Teoria degli insiemi
Insiemi - Teoria
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000994630403321
Fraenkel, Abraham Adolf <1891-1965>  
Amsterdam : North-Holland publishing company, 1953
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...