Ag lódáil…

Cód QR

Intensional mathematics /

Sábháilte in:

Sonraí bibleagrafaíochta
Rannpháirtithe:	Shapiro, Stewart, 1951-
Formáid:	LEABHAR
Teanga:	Béarla
Foilsithe / Cruthaithe:	Amsterdam : North-Holland ;Elsevier Science Pub. Co., 1985.
Sraith:	Studies in logic and the foundations of mathematics ; v. 113
Ábhair:	Modality (Logic). Constructive mathematics. Intuitionistic mathematics.
Clibeanna:	Cuir clib leis Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!

Míreanna comhchosúla

Elements of logic and foundations of mathematics in problems /
de réir: Wiktor, Marek
Foilsithe / Cruthaithe: (1982)

An introduction to mathematical logic and type theory : to truth through proof /
de réir: Andrews, P. B. (Peter Bruce), 1937-
Foilsithe / Cruthaithe: (1986)

Mathematical thinking /
de réir: Godwin, D. C.
Foilsithe / Cruthaithe: (1971)

Introduction to mathematical logic
de réir: Mendelson, Elliott
Foilsithe / Cruthaithe: (1979)

Principles of mathematical logic /
de réir: Hilbert, D.
Foilsithe / Cruthaithe: (1990)

Logic of mathematics : a modern course of classical logic /
de réir: Adamowicz, Zofia
Foilsithe / Cruthaithe: (1997)

A course in mathematical logic
de réir: Bell, J. L. (John Lane)
Foilsithe / Cruthaithe: (1977)

Mathematics and plausible reasoning
de réir: Polya, George, 1887-1985
Foilsithe / Cruthaithe: (1968)

Introduction to the foundations of mathematics /
de réir: Wilder, Raymond Louis, 1896-
Foilsithe / Cruthaithe: (1965)

Mood and modality /
de réir: Palmer, F. R. (Frank Robert)
Foilsithe / Cruthaithe: (1986)

Modality and the English modals /
de réir: Palmer, F. R. (Frank Robert)
Foilsithe / Cruthaithe: (1979)

Foundations--logic, language, and mathematics
Foilsithe / Cruthaithe: (1984)

How to read and do proofs an introduction to mathematical thought process
de réir: Solow, Daniel
Foilsithe / Cruthaithe: (1982)

Direct and converse theorems : the elements of symbolic logic /
de réir: Gradshtein, I. S.
Foilsithe / Cruthaithe: (1963)

Logic and structure
de réir: Dalen, D. van (Dirk van), 1932-
Foilsithe / Cruthaithe: (1980)

Logic and structure
de réir: Dalen, D. van (Dirk), 1932-
Foilsithe / Cruthaithe: (1983)

The language of logic /
de réir: Freudenthal, Hans, 1905-
Foilsithe / Cruthaithe: (1966)

Introduction to symbolic logic /
de réir: Smith, Karl J.
Foilsithe / Cruthaithe: (1991)

The logical and set-theoretical foundations of mathematics /
de réir: Zulauf, Achim
Foilsithe / Cruthaithe: (1969)

Math and logic games
de réir: Agostini, Franco
Foilsithe / Cruthaithe: (1983)

Thinking recursively /
de réir: Roberts, Eric
Foilsithe / Cruthaithe: (1986)

The lambda calculus: its syntax and semantics /
de réir: Barendregt, H. P. (Hendrik Pieter)
Foilsithe / Cruthaithe: (1984)

The computer modelling of mathematical reasoning
de réir: Bundy, Alan
Foilsithe / Cruthaithe: (1983)

Logic and algorithms : with applications to the computer and information sciences /
de réir: Korfhage, Robert R.
Foilsithe / Cruthaithe: (1966)

Computability : computable functions, logic, and the foundations of mathematics /
de réir: Epstein, Richard L.
Foilsithe / Cruthaithe: (1989)

The elements of mathematical semantics /
de réir: Aldridge, M. V. (Maurice Vincent)
Foilsithe / Cruthaithe: (1992)

An introduction to modern mathematics /
de réir: Monjallon, Albert
Foilsithe / Cruthaithe: (1967)

Constructivism in mathematics: an introduction /
de réir: Troelstra, A. S. (Anne Sjerp)
Foilsithe / Cruthaithe: (1988)

Constructivism in mathematics : an introduction.
de réir: Troelstra, A. S. (Anne Sjerp)
Foilsithe / Cruthaithe: (1988)

Modern digital design /
de réir: Sandige, Richard S.
Foilsithe / Cruthaithe: (1990)

Logic, algebra and databases
de réir: Gray, Peter M. D.
Foilsithe / Cruthaithe: (1984)

Sets, logic, and axiomatic theories /
de réir: Stoll, Robert Roth
Foilsithe / Cruthaithe: (1961)

Logic and databases /
Foilsithe / Cruthaithe: (1978)

Discrete mathematics : logic and structures /
Foilsithe / Cruthaithe: (1990)

Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
Foilsithe / Cruthaithe: (1982)

Logic and information /
de réir: Devlin, Keith J.
Foilsithe / Cruthaithe: (1991)

Tractus logico-philosophicus /
de réir: Wittgenstein, Ludwig, 1889-1951
Foilsithe / Cruthaithe: (1961)

A study of proportional reasoning /
de réir: Jones, Peter L.
Foilsithe / Cruthaithe: (1979)

A first course in formal logic and its applications in computer science /
de réir: Dowsing, Roy
Foilsithe / Cruthaithe: (1986)

Advanced work in English /
de réir: Parker,C. R. E. (Colin Rodwell Eric)
Foilsithe / Cruthaithe: (1967)