Close menu
Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia
Sardinia region
Follow us on
Search Search in the site

Search results

Search Results

Results: 1-120 of 401716

Edit research

Active filters:

Simili a: Sets, models and recursion theory : proceedings of the Summer School in mathematical logic and tenth Logic Colloquium, Leicester, August-September 1965
Category: Testo
Formal systems and recursive functions : proceedings of the eighth Logic colloquium, Oxford, July 1963
Testo
Formal systems and recursive functions : proceedings of the eighth Logic colloquium, Oxford, July 1963

Logic Colloquium [8 ; 1963 ; Oxford]

Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966
Testo
Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966

Logic Colloquium <1966

ISILC logic conference : proceedings of the international summer institute and logic colloquium, Kiel 1974
Testo
ISILC logic conference : proceedings of the international summer institute and logic colloquium, Kiel 1974

International summer institute and logic colloquium <1974

Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
Testo
Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia

Summer Research Insitute of the Australian Mathematical Society <14. ; 1974

Proceedings of the summer school in logic, Leeds, 1967 : N.A.T.O. advanced study institute meeting of the Association for Symbolic Logic
Testo
Proceedings of the summer school in logic, Leeds, 1967 : N.A.T.O. advanced study institute meeting of the Association for Symbolic Logic

Summer School in Logic <1967

What is mathematical logic ?
Testo
What is mathematical logic ?
Part 2: Computation and proof theory : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983
Testo
Part 2: Computation and proof theory : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983

Logic colloquium <1983

Logic colloquium '73 : proceedings of the logic colloquium Bristol, July 1973
Testo
Logic colloquium '73 : proceedings of the logic colloquium Bristol, July 1973

Logic colloquium [1973 ; Bristol]

Logic programming in action : second International logic programming Summer school, LPSS '92
Testo
Logic programming in action : second International logic programming Summer school, LPSS '92

International logic programming Summer school <2. ; 1992

Methods in mathematical logic : proceedings of the 6. Latin American Symposium on mathematical logic held in Caracas, Venezuela, August 1-6, 1983
Testo
Methods in mathematical logic : proceedings of the 6. Latin American Symposium on mathematical logic held in Caracas, Venezuela, August 1-6, 1983

Latin American symposium on mathematical logic <6. ; 1983

Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983
Testo
Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983

Logic colloquium <1983

Classification theory : proceedings of the US-Israel workshop on model theory in mathematical logic held in Chicago, Dec. 15-19, 1985
Testo
Classification theory : proceedings of the US-Israel workshop on model theory in mathematical logic held in Chicago, Dec. 15-19, 1985

US-Israel workshop on model theory in mathematical logic <1985

Mathematical logic and applications : proceedings of the Logic meeting held in Kyoto, 1987
Testo
Mathematical logic and applications : proceedings of the Logic meeting held in Kyoto, 1987

Logic meeting <1987

Cambridge summer school in mathematical logic held in Cambridge, England, august 1-21, 1971
Testo
Cambridge summer school in mathematical logic held in Cambridge, England, august 1-21, 1971
Twistor geometry and non-linear systems : review lectures given at the 4th Bulgarian summer school on mathematical problems of quantum field theory, held at Primorsko, Bulgaria, September 1980
Testo
Twistor geometry and non-linear systems : review lectures given at the 4th Bulgarian summer school on mathematical problems of quantum field theory, held at Primorsko, Bulgaria, September 1980

Bulgarian summer school on mathematical problems of quantum field theory <4. ; 1980

Proceedings of th Logic Colloquium held in Aachen, July 18-23, 1983
Testo
Proceedings of th Logic Colloquium held in Aachen, July 18-23, 1983

Logic colloquium <1983

Logic programming : proceedings of the tenth international conference on logic programming
Testo
Logic programming : proceedings of the tenth international conference on logic programming

International conference on logic programming <10. ; 1993

Mathematical and numerical techniques in physical geodesy : lectures delivered at the 4. International Summer School in the Mountains on Mathematical and Numerical Techniques in Physical Geodesy, Admont, Austria, August 25 to September 5, 1986
Testo
Mathematical and numerical techniques in physical geodesy : lectures delivered at the 4. International Summer School in the Mountains on Mathematical and Numerical Techniques in Physical Geodesy, Admont, Austria, August 25 to September 5, 1986

International Summer School in the Mountains on Mathematical and Numerical Techniques <4. ; 1986

Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1 - 7, 1979
Testo
Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1 - 7, 1979

Conference on Applications of Logic to Algebra and Arithmetic <1979

1: Logic, theory of sets and quantum mechanics
Testo
1: Logic, theory of sets and quantum mechanics

Neumann, Johann von

Logic colloquium '84 : proceedings of the colloquium held in Manchester, U. K.
Testo
Logic colloquium '84 : proceedings of the colloquium held in Manchester, U. K.
Selected topics in nuclear theory : lectures given at the International Summer School organized by the Nuclear Research Institute of the Czechoslovak Academy of Sciences ... in the Low Tatra Mountains 20 August-8 September 1962
Testo
Selected topics in nuclear theory : lectures given at the International Summer School organized by the Nuclear Research Institute of the Czechoslovak Academy of Sciences ... in the Low Tatra Mountains 20 August-8 September 1962

International summer school on selected topics in nuclear theory <1962

Introduction to logic and sets
Testo
Introduction to logic and sets

Christian, Robert R

Conference in mathematical logic - London '70
Testo
Conference in mathematical logic - London '70

Conference in mathematical logic <1970

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
Testo
Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976

Logic colloquium [1976 ; Oxford]

ISILC proof theory symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday
Testo
ISILC proof theory symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday

International summer institute and logic colloquium <1974

Logic programming : first Russian conference on logic programming, Irkutsk, Russia, September 14-18, 1990, second Russian conference on logic programming, St. Petersburg, Russia, September 11-16, 1991
Testo
Logic programming : first Russian conference on logic programming, Irkutsk, Russia, September 14-18, 1990, second Russian conference on logic programming, St. Petersburg, Russia, September 11-16, 1991

Russian conference on logic programming <1. ; 1990

Proceedings of the symposium on Differential equations and dynamical systems : University of Warwick, September 1968-August 1969, Summer school, July 15-25, 1969
Testo
Proceedings of the symposium on Differential equations and dynamical systems : University of Warwick, September 1968-August 1969, Summer school, July 15-25, 1969

Symposium on Differential equations and dynamical systems <1968/1969

Mathematical control theory : proceedings , Canberra, Australia, August 23- September 2, 1977
Testo
Mathematical control theory : proceedings , Canberra, Australia, August 23- September 2, 1977
Sets, logic, and axiomatic theories
Testo
Sets, logic, and axiomatic theories

Stoll, Robert R.

Applications of sheaves : proceedings of the Research symposium on applications of sheaf theory to logic, algebra, and analysis
Testo
Applications of sheaves : proceedings of the Research symposium on applications of sheaf theory to logic, algebra, and analysis

Research symposium on applications of sheaf theory to logic algebra and analysis <1977

Elements of mathematical logic : (model theory)
Testo
Elements of mathematical logic : (model theory)

Kreisel, G.

Logic, methodology and philosophy of science 3. : proceedings of the third International congress for logic, methodology and philosophy of science
Testo
Logic, methodology and philosophy of science 3. : proceedings of the third International congress for logic, methodology and philosophy of science

International congress for logic, methodology and philosophy of science <3. ; 1967

Cabal seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79
Testo
Cabal seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79

Caltech-UCLA logic seminar <1977-79

Synchrotron radiation sources and their applications : proceedings of the 30. Scottish universities summer school in physics, Aberdeen, September, 1985
Testo
Synchrotron radiation sources and their applications : proceedings of the 30. Scottish universities summer school in physics, Aberdeen, September, 1985

Scottish universities summer school in physics \30. ; 1985 ; Aberdeen!

Cabal Seminar 76-77 : proceedings, Caltech-UCLA Logic seminar 1976-77
Testo
Cabal Seminar 76-77 : proceedings, Caltech-UCLA Logic seminar 1976-77
Mathematical methods in computer graphics and design : based on the proceedings of the Conference on Mathematical Methods in Computer Graphics and Design organized by the Institute of Mathematics and its Applications and held at the University of Leicester on September 28th, 1978
Testo
Mathematical methods in computer graphics and design : based on the proceedings of the Conference on Mathematical Methods in Computer Graphics and Design organized by the Institute of Mathematics and its Applications and held at the University of Leicester on September 28th, 1978
Set theory and logic
Testo
Set theory and logic

Stoll, Robert R.

Elements of mathematical logic : (model theory)
Testo
Elements of mathematical logic : (model theory)

Kreisel, G.

Theory of nonlinear operators : proceedings of a Summer school, held in September 1971 at Babylon, Czechoslovakia
Testo
Theory of nonlinear operators : proceedings of a Summer school, held in September 1971 at Babylon, Czechoslovakia
Logic, methodology and philosophy of science 4. : proceedings of the 4. international congress for logic, methodology and philosophy of science, Bucharest, 1971
Testo
Logic, methodology and philosophy of science 4. : proceedings of the 4. international congress for logic, methodology and philosophy of science, Bucharest, 1971

International congress for logic methodology and phylosophy of science [4. ; 1971 ; Bucarest]

Logic colloquium : symposium on logic held at Boston, 1972-73
Testo
Logic colloquium : symposium on logic held at Boston, 1972-73
A course in mathematical logic
Testo
A course in mathematical logic

Bell, John Lane

Modular functions of one variable 1. : proceedings international summer school, University of Antwerp, RUCA, July 17-August 3, 1972
Testo
Modular functions of one variable 1. : proceedings international summer school, University of Antwerp, RUCA, July 17-August 3, 1972

International Summer School on Modular functions of one variable and ar ithmetical applications <1972

Logic of choice and economic theory
Testo
Logic of choice and economic theory

Afriat, Sydney N.

Mathematical logic
Testo
Mathematical logic

Shoenfield, Joseph Robert

Mathematical methods in solid state and superfluid theory : Scottish Universities' Summer School
Testo
Mathematical methods in solid state and superfluid theory : Scottish Universities' Summer School
2: The problem of inductive logic
Testo
2: The problem of inductive logic

International colloquium in the philosophy of science <1965

Global and large scale system models : proceedings of the Center for Advanced Studies (CAS) International Summer Seminar, Dubrovnik, Yugoslavia, August 21-26, 1978
Testo
Global and large scale system models : proceedings of the Center for Advanced Studies (CAS) International Summer Seminar, Dubrovnik, Yugoslavia, August 21-26, 1978
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers
Testo
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers

Keisler, Howard Jerome

Logic, methodology and philosophy of science : proceedings of the 1964 international congress
Testo
Logic, methodology and philosophy of science : proceedings of the 1964 international congress
Logic and philosophy : Symposium in Dusseldorf, 27 August-1 September 1978
Testo
Logic and philosophy : Symposium in Dusseldorf, 27 August-1 September 1978
Mathematical logic
Testo
Mathematical logic

Monk, James Donald

Intuitionistic logic model theory and forcing
Testo
Intuitionistic logic model theory and forcing

Fitting, Melvin Chris

Relations between the central banks and commercial banks : being the lectures delivered at the tenth international banking summer school Garmisch - Partenkirchen September 1957
Testo
Relations between the central banks and commercial banks : being the lectures delivered at the tenth international banking summer school Garmisch - Partenkirchen September 1957
Mathematical systems theory and economics : proceeding of an International Summer school held in Varenna, Italy, June 1-12 1967
Testo
Mathematical systems theory and economics : proceeding of an International Summer school held in Varenna, Italy, June 1-12 1967
Banach space theory and its applications : proceedings of the First Romanian-GDR Seminar held at Bucharest, Romania, August 31- September 6, 1981
Testo
Banach space theory and its applications : proceedings of the First Romanian-GDR Seminar held at Bucharest, Romania, August 31- September 6, 1981

Romanian-GDR seminar <1. ; 1981

An algebraic introduction to mathematical logic
Testo
An algebraic introduction to mathematical logic

Barnes, Donald W. <1935->

Value distribution theory : proceedings of the Nordic summer school in mathematics held at Joensuu, Finland, June 1-12, 1981
Testo
Value distribution theory : proceedings of the Nordic summer school in mathematics held at Joensuu, Finland, June 1-12, 1981

Nordic summer school in mathematics <1981

Topics in numerical analysis : proceedings of the S.E.R.C. summer school, Lancaster, July 19- August 21, 1981
Testo
Topics in numerical analysis : proceedings of the S.E.R.C. summer school, Lancaster, July 19- August 21, 1981

Science and engineering research council

Annals of mathematical logic
Testo
Annals of mathematical logic
Mathematical logic
Testo
Mathematical logic

Eršov, Jurii Leonidovi

Manifolds - Amsterdam 1970 : proceedings of the Nuffic summer school on manifolds, Amsterdam, August 17-29, 1970
Testo
Manifolds - Amsterdam 1970 : proceedings of the Nuffic summer school on manifolds, Amsterdam, August 17-29, 1970

Nuffic summer school on manifolds <Amsterdam ; 1970>

Algebraical and topological foundations of geometry : proceedings of a colloquium held in Utrecht, August 1959
Testo
Algebraical and topological foundations of geometry : proceedings of a colloquium held in Utrecht, August 1959
Probability theory and mathematical statistics : proceedings of the fourth USSR-Japan symposium, held at Tbilisi, USSR, August 23-29, 1982
Testo
Probability theory and mathematical statistics : proceedings of the fourth USSR-Japan symposium, held at Tbilisi, USSR, August 23-29, 1982

USSR-Japan symposium on probability theory and mathematical statistics <4. ; 1982

Set theory and logic
Testo
Set theory and logic

Fraenkel, Abraham A.

Relativity, astrophysics and cosmology : proceedings of the summer school held, 14-26 August, 1972 at the Banff Centre, Banff, Alberta
Testo
Relativity, astrophysics and cosmology : proceedings of the summer school held, 14-26 August, 1972 at the Banff Centre, Banff, Alberta
Course of mathematical logic
Testo
Course of mathematical logic

Fraisse, Roland

Physics and mathematics of the nervous system : proceedings of a Summer school organized by the International centre for theoretical physics, Trieste, and the Institute for Information Sciences, University of Tubingen, held at Trieste, August 21-31, 1973
Testo
Physics and mathematics of the nervous system : proceedings of a Summer school organized by the International centre for theoretical physics, Trieste, and the Institute for Information Sciences, University of Tubingen, held at Trieste, August 21-31, 1973
Differential geometric methods in mathematical physics : proceedings of an international conference held at the Technical University of Clausthal, FRG, August 30-September 2, 1983
Testo
Differential geometric methods in mathematical physics : proceedings of an international conference held at the Technical University of Clausthal, FRG, August 30-September 2, 1983
Elements of mathematical logic
Testo
Elements of mathematical logic

Novikov, Petr Sergeevic

Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic and probability theory
Testo
Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic and probability theory

Hailperin, Theodore

Mathematical logic
Testo
Mathematical logic

Kleene, Stephen Cole

18: Phenomenology and logic : the Boston College lectures on mathematical logic and existentialism
Testo
18: Phenomenology and logic : the Boston College lectures on mathematical logic and existentialism

Lonergan, Bernard J. F.

Quantum optics : proceedings of the tenth session of the Scottish Universities Summer School in physics, 1969
Testo
Quantum optics : proceedings of the tenth session of the Scottish Universities Summer School in physics, 1969

Scottish universities summer school in physics <10. ; 1969>

Elements of mathematical logic
Testo
Elements of mathematical logic

ukasiewicz, Jan

Modular functions of one variable 4. : proceedings of the International summer school, university of Antwerp, RUCA, July 17- August 3, 1972
Testo
Modular functions of one variable 4. : proceedings of the International summer school, university of Antwerp, RUCA, July 17- August 3, 1972
Modular functions of one variable : proceedings International Summer School University of Antwerp, RUCA, July 17-August 3, 1972
Testo
Modular functions of one variable : proceedings International Summer School University of Antwerp, RUCA, July 17-August 3, 1972
Recursive function theory and logic
Testo
Recursive function theory and logic

Yasuhara, Ann

Introduction to mathematical logic
Testo
Introduction to mathematical logic

Mendelson, Elliott

Schaum's outline of theory and problems of logic
Testo
Schaum's outline of theory and problems of logic

Nolt, John

Studies on the history of logic : proceedings of the 3. simposium on the history of logic
Testo
Studies on the history of logic : proceedings of the 3. simposium on the history of logic

Symposium on the history of logic <3. ; 1993

The Interaction of radiation with solids : proceedings of the International summer school on solid state physics held at Mol, Belgium, august 12-31, 1963
Testo
The Interaction of radiation with solids : proceedings of the International summer school on solid state physics held at Mol, Belgium, august 12-31, 1963

International summer school on solid state <1963

Tense and tense logic
Testo
Tense and tense logic

Clifford, John E.

Mathematical logic : a first course
Testo
Mathematical logic : a first course

Robbin, Joel W.

Logic Symposia Hakone 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Testo
Logic Symposia Hakone 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Logic Symposia <1979-1980

Foundations of mathematical logic
Testo
Foundations of mathematical logic

Curry, Haskell Brooks

Logic Design : A Review of Theory and Practice
Testo
Logic Design : A Review of Theory and Practice

Langdon, Glen G.

Numerical solution of ordinary and partial differential equations : based on a summer school held in Oxford August-September 1961
Testo
Numerical solution of ordinary and partial differential equations : based on a summer school held in Oxford August-September 1961

Fox, L.

The Princeton colloquium : Lectures on mathematics
Testo
The Princeton colloquium : Lectures on mathematics

Bliss, Gilbert Ames

The development of mathematical logic
Testo
The development of mathematical logic

Nidditch, Peter Harold <1928-1983>

A survey of mathematical logic
Testo
A survey of mathematical logic

Wang, Hao

Advances in lasers and applications : proceedings of the fifty-second Scottish Universities Summer School in Physics, St. Andrews, September 1998
Testo
Advances in lasers and applications : proceedings of the fifty-second Scottish Universities Summer School in Physics, St. Andrews, September 1998
Set theory and its logic
Testo
Set theory and its logic

Quine, W. V.

Astrophysical and laboratory spectroscopy : proceedings of the 33 Scottish Universities Summer School in Physics, St. Andrews, September 1988
Testo
Astrophysical and laboratory spectroscopy : proceedings of the 33 Scottish Universities Summer School in Physics, St. Andrews, September 1988
Quine and the field of mathematical logic
Testo
Quine and the field of mathematical logic

Ullian, Joseph S.

Quine and the field of mathematical logic
Testo
Quine and the field of mathematical logic

Ullian, Joseph S.

Mathematical logic and formalized theories : a survey of basic concepts and results
Testo
Mathematical logic and formalized theories : a survey of basic concepts and results

Rogers, Robert

Radiation dosimetry : proceedings of the International Summer School on radiation protection, Cavtat, Yugoslavia september 21-30, 1970
Testo
Radiation dosimetry : proceedings of the International Summer School on radiation protection, Cavtat, Yugoslavia september 21-30, 1970

International Summer School on Radiation Protection

Formal logic
Testo
Formal logic

Prior, Arthur N.

Category theory : applications to algebra, logic and topology
Testo
Category theory : applications to algebra, logic and topology
Cabal seminar 79-81 : proceedings, Caltech-UCLA logic seminar 1979-81
Testo
Cabal seminar 79-81 : proceedings, Caltech-UCLA logic seminar 1979-81

Cabal seminar <1979-1981

Logic design theory
Testo
Logic design theory

Biswas, Nripendra Nath <1928- >

Mathematical models for the semantics of parallelism : Advanced school, Rome, Italy, September 24-October 1, 1986
Testo
Mathematical models for the semantics of parallelism : Advanced school, Rome, Italy, September 24-October 1, 1986
A precis of mathematical logic
Testo
A precis of mathematical logic

Bocheński, Joseph M.

Logic programming : proceedings of the 1998 joint international conference and symposium on logic programming
Testo
Logic programming : proceedings of the 1998 joint international conference and symposium on logic programming
Mathematical foundations of computer science 1981 : proceedings. 10th symposium Strbske Pleso, Czechoslovakia August 31 - September 4, 1981
Testo
Mathematical foundations of computer science 1981 : proceedings. 10th symposium Strbske Pleso, Czechoslovakia August 31 - September 4, 1981

Symposium on mathematical foundations of computer <10.

2: Advanced seminar on foundations of innovative software development 2. and Colloquium on functional and logic programming and specifications (CFLP)
Testo
2: Advanced seminar on foundations of innovative software development 2. and Colloquium on functional and logic programming and specifications (CFLP)

Advanced seminar on foundations of innovative software development <2. ; 1987

Solid state dosimetry : proceedings of the NATO summer school held at Brussels, Belgium, September 4-16, 1967 /edited by S. Amelinckx, B. Batz, R. Strumane
Testo
Solid state dosimetry : proceedings of the NATO summer school held at Brussels, Belgium, September 4-16, 1967 /edited by S. Amelinckx, B. Batz, R. Strumane

NATO Summer School

Logic : the theory of inquiry
Testo
Logic : the theory of inquiry

Dewey, John

Logic, methodology and philosophy of science : proceedings of the 1960 International congress
Testo
Logic, methodology and philosophy of science : proceedings of the 1960 International congress
Mathematical logic ...
Testo
Mathematical logic ...

Quine, W. V.

Mathematical logic
Testo
Mathematical logic

Goodstein, Reuben Louis

Mathematical logic and the foundations of mathematics : an introductory survey
Testo
Mathematical logic and the foundations of mathematics : an introductory survey

Kneebone, G.T.

Logic programming and automated reasoning : international conference LPAR '92
Testo
Logic programming and automated reasoning : international conference LPAR '92

International conference on logic programming and automated reasoning <3. ; 1992

Computation theory and logic
Testo
Computation theory and logic
A mathematical introduction to logic
Testo
A mathematical introduction to logic

Enderton, Herbert B.

Nuclear structure and electromagnetic interactions : Scottish Universities' Summer School 1964
Testo
Nuclear structure and electromagnetic interactions : Scottish Universities' Summer School 1964

Scottish Universitiesʼ Summer school <5. ; 1964

The elements of mathematical logic
Testo
The elements of mathematical logic

Rosenbloom, Paul C.

Modular functions of one variable 3. : proceedings international summer school University of Antwerp, RUCA, July 17-August 3, 1972
Testo
Modular functions of one variable 3. : proceedings international summer school University of Antwerp, RUCA, July 17-August 3, 1972
1 2 3

Filter results

Close

Subjects

Indietro Avanti