Chiudi Menù
Regione Autonoma della Sardegna Regione Autonoma della Sardegna Regione Autonoma della Sardegna Regione Autonoma della Sardegna
Regione Sardegna
Seguici su
Cerca Cerca nel sito

Risultati Ricerca

Risultati di Ricerca

Risultati: 1-120 di 1666664

Modifica la ricerca

Filtri attivi:

Simili a: An algebraic introduction to mathematical logic
Categoria: Testo
Introduction to mathematical logic
Testo
Introduction to mathematical logic

Mendelson, Elliott

Introduction to algebraic k-theory
Testo
Introduction to algebraic k-theory

Milnor, John W.

Introduction to global analysis
Testo
Introduction to global analysis

Kahn, Donald W. <1935-2015 ; matematico>

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

Robbin, Joel W.

Homology theory : an introduction to algebraic topology
Testo
Homology theory : an introduction to algebraic topology

Vick, James W.

An introduction to modal logic
Testo
An introduction to modal logic

Hughes, George Edward

A mathematical introduction to logic
Testo
A mathematical introduction to logic

Enderton, Herbert B.

Algebraic geometry : introduction to schemes
Testo
Algebraic geometry : introduction to schemes

Mac Donald, Ian Grant

Algebraic number theory : proceedings of an instructional conference organized by the London Mathematical Society (a Nato advanced study institute) with the support of the International Mathematical Union
Testo
Algebraic number theory : proceedings of an instructional conference organized by the London Mathematical Society (a Nato advanced study institute) with the support of the International Mathematical Union
Algebraic geometry : an introduction to birational geometry of algebraic varieties
Testo
Algebraic geometry : an introduction to birational geometry of algebraic varieties

Iitaka, Shigeru

Mathematical logic
Testo
Mathematical logic

Monk, James Donald

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

Kneebone, G.T.

Mathematical logic
Testo
Mathematical logic

Kleene, Stephen Cole

Mathematical programming : an introduction to optimization
Testo
Mathematical programming : an introduction to optimization

Jeter, Melvyn W.

Algebraic curves : an introduction to algebraic geometry
Testo
Algebraic curves : an introduction to algebraic geometry

Fulton, William

Ideals, varieties, and algorithms : an introduction to computational algebraic geometry and commutative algebra
Testo
Ideals, varieties, and algorithms : an introduction to computational algebraic geometry and commutative algebra

Cox, David A.

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

Complex algebraic geometry : an introduction to curves and surfaces
Testo
Complex algebraic geometry : an introduction to curves and surfaces

Yang, Kichoon

Introduction to mathematical logic. 1.
Testo
Introduction to mathematical logic. 1.

Church, Alonzo

Algebraic logic
Testo
Algebraic logic

Halmos, Paul Richard

An introduction to algebraic topology
Testo
An introduction to algebraic topology

Wallace, Andrew H.

An introduction to pseudo-differential operators
Testo
An introduction to pseudo-differential operators

Wong, M. W.

An introduction to the theory of algebraic surfaces
Testo
An introduction to the theory of algebraic surfaces

Zariski, Oscar <1899-1986>

Foundations of logic programming
Testo
Foundations of logic programming

Lloyd, John Wylie

Introduction to mathematical logic
Testo
Introduction to mathematical logic

Church, Alonzo

A course in mathematical logic
Testo
A course in mathematical logic

Bell, John Lane

Mathematical logic
Testo
Mathematical logic

Shoenfield, Joseph Robert

An outline of mathematical logic : fundamental results and notion explained with all details
Testo
An outline of mathematical logic : fundamental results and notion explained with all details

Grzegorczyk, Andrzej

Riemannian manifolds : an introduction to curvature
Testo
Riemannian manifolds : an introduction to curvature

Lee, John M.

Sets, models and recursion theory : proceedings of the Summer School in mathematical logic and tenth Logic Colloquium, Leicester, August-September 1965
Testo
Sets, models and recursion theory : proceedings of the Summer School in mathematical logic and tenth Logic Colloquium, Leicester, August-September 1965

Logic colloquium [10. ; 1965 ; Leicester]

Handbook of mathematical logic
Testo
Handbook of mathematical logic
Introduction to mathematical logic
Testo
Introduction to mathematical logic

Mendelson, Elliott

Formal methods : an introduction to simbolic logic and to the study of effective operations in arithmetic and logic
Testo
Formal methods : an introduction to simbolic logic and to the study of effective operations in arithmetic and logic

Beth, Evert Willem

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

Introduction to smooth manifolds
Testo
Introduction to smooth manifolds

Lee, John M.

An introduction to the geometry of numbers
Testo
An introduction to the geometry of numbers

Cassels, John William Scott

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

Mathematical thought : an introduction to the philosophy of mathematics
Testo
Mathematical thought : an introduction to the philosophy of mathematics

Beth, Evert Willem

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

Continuous transformations in analysis : with an introduction to algebraic topology
Testo
Continuous transformations in analysis : with an introduction to algebraic topology

Rado, Tibor

Introduction to mathematical control theory
Testo
Introduction to mathematical control theory

Barnett, Stephen

Introduction to logic
Testo
Introduction to logic

Suppes, Patrick

Mathematical methods in engineering : an introduction to the mathematical treatment of engineering problems
Testo
Mathematical methods in engineering : an introduction to the mathematical treatment of engineering problems

Von Kármán, Theodore <1881-1963>

Algebraic and logic programming : second international conference
Testo
Algebraic and logic programming : second international conference
Algebraic topology : an introduction
Testo
Algebraic topology : an introduction

Massey, William S.

Introduction to mathematical economics
Testo
Introduction to mathematical economics

Bushaw, Donald W.

An introduction to the mathematical theory of inverse problems
Testo
An introduction to the mathematical theory of inverse problems

Kirsch, Andreas <1953- >

Elements of mathematical logic
Testo
Elements of mathematical logic

ukasiewicz, Jan

What is mathematical logic ?
Testo
What is mathematical logic ?
Algebraic foundations of many-valued-reasoning
Testo
Algebraic foundations of many-valued-reasoning

Cignoli, Roberto L. O.

Introduction to mathematical consensus theory
Testo
Introduction to mathematical consensus theory

Kim, Ki Hang

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

Conference in mathematical logic <1970

From Frege to Godel : a source book in mathematical logic, 1879-1931
Testo
From Frege to Godel : a source book in mathematical logic, 1879-1931
Homotopy invariant algebraic structures on topological spaces
Testo
Homotopy invariant algebraic structures on topological spaces

Boardman, John M.

Non-commutative algebraic geometry : an introduction
Testo
Non-commutative algebraic geometry : an introduction

Oystaeyen, Freddy : van

Special functions : an introduction to the classical functions of mathematical physics
Testo
Special functions : an introduction to the classical functions of mathematical physics

Temme, Nico M.

An introduction to mathematical thought
Testo
An introduction to mathematical thought

Stabler, Edward Russell

The theory of equations : with an introduction to the theory of binary algebraic forms
Testo
The theory of equations : with an introduction to the theory of binary algebraic forms

Burnside, William Snow

Introduction to partial differential equations
Testo
Introduction to partial differential equations

Greenspan, Donald

First-order logic
Testo
First-order logic

Smullyan, Raymond

Foundations of mechanics : a mathematical exposition of classical mechanics with an introduction to the qualitative theory of dynamical systems and applications to the three-body problem
Testo
Foundations of mechanics : a mathematical exposition of classical mechanics with an introduction to the qualitative theory of dynamical systems and applications to the three-body problem

Abraham, Ralph H.

Foundations of mechanics : a mathematical exposition of classical mechanics with an introduction to the qualitative theory of dynamical systems and applications to the three-body problem
Testo
Foundations of mechanics : a mathematical exposition of classical mechanics with an introduction to the qualitative theory of dynamical systems and applications to the three-body problem

Abraham, Ralph H.

Homology theory : an introduction to algebraic topology
Testo
Homology theory : an introduction to algebraic topology

Hilton, Peter <1923-2010>

Fermat's last theorem : a genetic introduction to algebraic number theory
Testo
Fermat's last theorem : a genetic introduction to algebraic number theory

Edwards, Harold M.

Algebraic spaces
Testo
Algebraic spaces

Knutson, Donald

Introduction to axiomatic set theory
Testo
Introduction to axiomatic set theory

Takeuti, Gaisi

Introduction to algebraic geometry
Testo
Introduction to algebraic geometry

Semple, J. G.

Critical thinking : an introduction to logic and scientific method
Testo
Critical thinking : an introduction to logic and scientific method

Black, Max

An introduction to Grobner bases
Testo
An introduction to Grobner bases

Adams, William Wells <1937- >

A mathematical introduction to fluid mechanics
Testo
A mathematical introduction to fluid mechanics

Chorin, Alexandre Joel

From logic design to logic programming : theorem proving techniques and P-functions
Testo
From logic design to logic programming : theorem proving techniques and P-functions

Snyers, Dominique

Mathematical programming via augmented lagrangians : an introduction with computer programs
Testo
Mathematical programming via augmented lagrangians : an introduction with computer programs

Pierre, Donald A.

An introduction to programming and problem solving with Pascal
Testo
An introduction to programming and problem solving with Pascal

Schneider, G. Michael

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
Testo
Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
The algebraic structure of group rings
Testo
The algebraic structure of group rings

Passman, Donald S.

Symbolic and algebraic computation : EUROSAM '79, an International symposium on symbolic and algebraic manipulation, Marseilles, France, June 1979
Testo
Symbolic and algebraic computation : EUROSAM '79, an International symposium on symbolic and algebraic manipulation, Marseilles, France, June 1979

International symposium on symbolic and algebraic manipulation <1979

Introduction to symbolic logic and its applications
Testo
Introduction to symbolic logic and its applications

Carnap, Rudolf

Introduction to algebraic system theory
Testo
Introduction to algebraic system theory

Sain, Michael K

General relativity : an introduction to the theory of the gravitational field
Testo
General relativity : an introduction to the theory of the gravitational field

Stephani, Hans

CSL '88 : 2. Workshop on computer science logic, Duisburg, FRG, October 3-7, 1988
Testo
CSL '88 : 2. Workshop on computer science logic, Duisburg, FRG, October 3-7, 1988

Workshop on computer science logic <2. ; 1988

Introduction to the problem of minimal models in the theory of algebraic surfaces
Testo
Introduction to the problem of minimal models in the theory of algebraic surfaces

Zariski, Oscar <1899-1986>

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]

An introduction to the theory of numbers
Testo
An introduction to the theory of numbers

Vinogradov, Ivan Matveevich

Introduction to logic and to the methodology of deductive sciences
Testo
Introduction to logic and to the methodology of deductive sciences

Tarski, Alfred

Logic in algebraic form : three languages and theories
Testo
Logic in algebraic form : three languages and theories

Craig, William

Introduction to logic
Testo
Introduction to logic

Copi, Irving M.

Linear mathematics : an introduction to linear algebra and linear differential equations
Testo
Linear mathematics : an introduction to linear algebra and linear differential equations

Brauer, Fred

Introduction to algebraic and Abelian functions
Testo
Introduction to algebraic and Abelian functions

Lang, Serge <1927-2005>

Introduction to commutative algebra
Testo
Introduction to commutative algebra

Atiyah, Michael Francis

Computational aspects of an order-sorted logic with term declarations
Testo
Computational aspects of an order-sorted logic with term declarations

Schmidt-Schauss, Manfred

Differential operators of mathematical physics : an introduction
Testo
Differential operators of mathematical physics : an introduction

Hellwig, Gunter

A modern introduction to logic
Testo
A modern introduction to logic

Blyth, John W.

Introduction to algebraic geometry
Testo
Introduction to algebraic geometry

Lang, Serge <1927-2005>

An elementary introduction to the theory of probability
Testo
An elementary introduction to the theory of probability

Gnedenko, Boris Vladimirovi

The development of mathematical logic
Testo
The development of mathematical logic

Nidditch, Peter Harold <1928-1983>

Introduction to algebraic geometry and algebraic groups
Testo
Introduction to algebraic geometry and algebraic groups

Demazure, Michel

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

Kreisel, G.

Introduction to the theory of algebraic numbers and functions
Testo
Introduction to the theory of algebraic numbers and functions

Eichler, Martin

Logic, semantics, metamathematics : papers from 1923 to 1938
Testo
Logic, semantics, metamathematics : papers from 1923 to 1938

Tarski, Alfred

Singular-perturbation theory : an introduction with applications
Testo
Singular-perturbation theory : an introduction with applications

Smith, Donald Ridgeway <1909-1991>

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

Annals of pure and applied logic
Testo
Annals of pure and applied logic
An introduction to differentiable manifolds and Riemannian geometry
Testo
An introduction to differentiable manifolds and Riemannian geometry

Boothby, William M.

CSL '87 : 1. Workshop on computer science logic, Karlsruhe, FRG, October 12-16, 1987
Testo
CSL '87 : 1. Workshop on computer science logic, Karlsruhe, FRG, October 12-16, 1987

Workshop on computer science logic <1. ; 1987

An introduction to diophantine approximation
Testo
An introduction to diophantine approximation

Cassels, John William Scott

Algebraic complexity theory
Testo
Algebraic complexity theory

Burgisser, Peter

An introduction to manifolds
Testo
An introduction to manifolds

Tu, Loring W.

Annals of mathematical logic
Testo
Annals of mathematical logic
A survey of mathematical logic
Testo
A survey of mathematical logic

Wang, Hao

An introduction to deductive logic
Testo
An introduction to deductive logic

Leblanc, Hugues

An introduction to differentiable manifolds and Riemannian geometry
Testo
An introduction to differentiable manifolds and Riemannian geometry

Boothby, William M.

An introduction to independence for analysts
Testo
An introduction to independence for analysts

Dales, H. G. <Harold G.>

An introduction to the mathematical theory of geophysical fluid dynamics
Testo
An introduction to the mathematical theory of geophysical fluid dynamics

Friedlander, Susan

Differential equations and their applications : an introduction to applied mathematics
Testo
Differential equations and their applications : an introduction to applied mathematics

Braun, Martin <1941- >

COLOG-88 : International conference on Computer logic, Tallinn, USSR, December 12-16, 1988
Testo
COLOG-88 : International conference on Computer logic, Tallinn, USSR, December 12-16, 1988

International conference on Computer logic <1988

Introduction to mathematical statistics
Testo
Introduction to mathematical statistics

Hoel, Paul G.

A modern introduction to the mathematical theory of water waves
Testo
A modern introduction to the mathematical theory of water waves

Johnson, Robin Stanley

Mathematical interpretation of formal systems
Testo
Mathematical interpretation of formal systems
An introduction to marine geology
Testo
An introduction to marine geology

Keen, Michael John < 1935- >

An introduction to mathematical analysis
Testo
An introduction to mathematical analysis

Rankin, Robert Alexander

1 2 3

Filtra Risultati

Chiudi

Argomenti

Indietro Avanti