|
|
Doing worlds with words : formal semantics without formal metaphysics / Jaroslav Peregrin
Monografia
Publication
Dordrecht : Kluwer Academic Publishers, cop. 1995
Description
XVI, 236 p. :
il. ;
23 cm
LocationBiblioteca Vitor Aguiar e Silva
Availability
Reference (1).
|
|
|
From Dedekind to Gõdel : essays on the development of the foundations of mathematics / ed. Jaakko Hintikka
Monografia
Publication
Dordrecht : Kluwer Academic Publishers, 1995
Description
IX, 459 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Combinators, λ-terms and proof theory / Sören Stenlund
Monografia
Publication
Dordrecht : D. Reidel, cop. 1972
Description
184 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The spectrum of social time / Georges Gurvitch
Monografia
Publication
Dordrecht : D. Reidel Publishing Company, 1964
Description
XXVI, 152 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Semantics of natural language / ed. Donald Davidson, Gilbert Harman
Monografia
Publication
Dordrecht : D. Reidel Publishing Company, cop. 1972
Description
X, 769 p. ;
23 cm
LocationBiblioteca Vitor Aguiar e Silva
Availability
Reference (1).
|
|
|
Wittgenstein : mind and language / ed. Rosaria Egidi
Monografia
Publication
Dordrecht : Kluwer Academic Publishers, cop. 1995
Description
XII, 300 p. ;
23 cm
LocationBiblioteca Vitor Aguiar e Silva
Availability
Reference (1).
|
|
|
Mind, meaning and mathematics : essays on the philosophical views of Husserl and Frege / ed. Leila Haaparanta
Monografia
Publication
Dodrecht : Kluwer Academic Publishers, cop. 1994
Description
XII, 278 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Formal methods : an introduction to symbolic logic and the study of effective operations in arithmetic and logic / Evert W. Beth
Monografia
Publication
Dordrecht : D. Reidel, cop. 1962
Description
XIV, 170 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Hans reichenbach : logical empiricist / ed. Wesley C. Salmon
Monografia
Publication
Dordrecht : D. Reidel, cop. 1979
Description
XI, 782 p. ;
23 cm
LocationBiblioteca Vitor Aguiar e Silva
Availability
Reference (1).
|
|
|
The growth of mathematical knowledge / ed. Emily Grosholz, Herbert Breger
Monografia
Publication
Boston : Kluwer Academic Publishers, 2000
Description
XLI, 416 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Discovering reality : feminist perspectives on epistemology, metaphysics, methodology, and philosophy of science / ed. Sandra Harding, Merrill B. Hintikka
Monografia
Publication
Dordrecht : D. Reidel Publishing Company, cop. 1983
Description
XIX, 331 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
An architectonic for science : the structuralist program / Wolfgang Balzer, C. Ulises Moulines, Joseph D. Sneed
Monografia
Publication
Dordrecht : D. Reidel, 1987
Description
XXXVII, 431 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Theory of logical calculi : basic theory of consequence operations / Ryszard Wójcicki
Monografia
Publication
Dodrecht : Kluwer Academic Publishers, 1988
Description
XVIII, 473 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Hilbert's program : an essay on mathematical instrumentalism / Michael Detlefsen
Monografia
Publication
Dordrecht : D. Reidel, 1986
Description
XIV, 186 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Handbook of philosophical logic / ed. D. Gabby, F. Guenthner
Monografia
Publication
Dordrecht : Kluwer Academic Publishers, cop. 1994
Description
4 v. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (6).
Checked out (2).
|
|
|
Theory and experiment : recent insights and new perspectives on their relation / Sixth International Conference on the History of Philosophy of Science ; ed. Diderik Batens, Jean Paul van Bendegem
Monografia
Publication
Dordrecht : D. Reidel Publishing Company, cop. 1988
Description
XII, 283 p. ;
23 cm
LocationBiblioteca Vitor Aguiar e Silva
Availability
Reference (1).
|
|
|
Logic, meaning, and computation : essays in memory of Alonzo Church / ed. C. Anthony Anderson and Michael Zelëny
Monografia
Publication
Dordrecht : Kluwer Academic Publishers, cop. 2001
Description
XIII, 627, [14] p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Aspects of metaphor / ed. Jaakko Hintikka
Monografia
Publication
Dordrecht : Kluwer Academic Publishers, cop. 1994
Description
VIII, 263 p. :
il. ;
23 cm
LocationBiblioteca Vitor Aguiar e Silva
Availability
Reference (1).
|
|
|
The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse / Johan van Benthem
Monografia
Publication
Dordrecht : Kluwer Academic Publishers, 1991
Description
XXII, 280 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Kant's philosophy of mathematics : modern essays / ed. Carl J. Posy
Monografia
Publication
Dordrecht : Kluwer Academic Publishers, 1992
Description
X, 370 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|