Skip to contents

Tarski, Alfred [Author]

Introduction to logic and to the methodology of deductive sciences - [1. publ.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York: Dover Publ., 1995
Berry, John S. [Author]; Wainwright, Patrick [Author]

Foundation mathemathics for engineers - [Repr.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Basingstoke [u.a.]: Macmillan, 1992
Mancosu, Paolo [Other]

The philosophy of mathematical practice - [1. publ.]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oxford [u.a.]: Oxford University Press, 2008
Wolf, John P. [Author]

Foundation vibration analysis using simple physical models

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Englewood Cliffs, NJ: PTR Prentice Hall, 1994
Tarski, Alfred [Author] ; Tarski, Jan [Editor]

Introduction to logic and to the methodology of the deductive sciences - [4 ed., rev.]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York; Oxford: Oxford University Press, 1994

Published in: Oxford logic guides ; 2400
Buchholz, Wilfried [Author]; Schütte, Kurt [Author]

Proof theory of impredicative subsystems of analysis

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Napoli: Bibliopolis, 1988

Published in: Studies in proof theory / Monographs ; 2
Bishop, Errett [Author] ; Bridges, Douglas S. [Other]

Constructive analysis

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1985

Published in: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen ; 279
Buchholz, Wilfried [Other]; Feferman, Solomon [Editor]

Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1981

Published in: Lecture notes in mathematics ; 897
Rossi, Richard J. [Author]

Theorems, corollaries, lemmas, and methods of proof

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Hoboken, NJ: Wiley-Interscience, 2006

Published in: Pure and applied mathematics
Wolfram, Stephen [Author]

Metamathematics : foundations & physicalization - [First edition, second printing]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Champaign]: Wolfram Media, INC, [2022]
Deiser, Oliver [Author]

Reelle Zahlen : das klassische Kontinuum und die natürlichen Folgen - [2., korrigierte und erw. Aufl.]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2008

Published in: Springer-Lehrbuch
Dummett, Michael [Author]

Frege : philosophy of mathematics

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Mass.: Harvard Univ. Press, 1991
Caicedo, Andrés Eduardo [Editor]; Cummings, James [Editor]; Koellner, Peter [Editor]; Larson, Paul B. [Editor]; Woodin, W. Hugh [Honoree] ; Conference in Honor of Hugh Woodin's 60th Birthday 2015 Cambridge, Mass

Foundations of mathematics : logic at Harvard : essays in honor of W. Hugh Woodin's 60th birthday, March 27-29, 2015, Harvard University, Cambridge, MA

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Providence, Rhode Island: American Mathematical Society, [2017]

Published in: Contemporary mathematics ; 690
Melerski, Edmund S. [Author]

Design analysis of beams, circular plates and cylindral tanks on elastic foundations : with IBM-compatible software - [2. ed.]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

London [u.a.]: Taylor & Francis, 2006

Published in: BALKEMA - proceedings and monographs in Engineering, Water and Earth Sciences
Grattan-Guinness, Ivor [Author]

The search for mathematical roots, 1870 - 1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Princeton [u.a.]: Princeton University Press, 2000
Erk, Katrin [Author]; Priese, Lutz [Author]

Theoretische Informatik : eine umfassende Einführung - [3., erw. Aufl.]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2008

Published in: eXamen.press
Belding, David E. [Author]; Mitchell, Kevin J. [Author]

Foundations of analysis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Englewood Cliffs, N.J.: Prentice Hall, 1991
Adachi, Akeo [Other]

Foundations of computation theory

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Tokyo: Ohmsha, 1990
Berg, Imme van den [Editor]; Berg, Imme P. van den [Other]; Neves, Vítor [Other]

The strength of nonstandard analysis

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wien [u.a.]: Springer, 2007
Huang, Chi-fu [Author]; Litzenberger, Robert H. [Author]

Foundations for financial economics - [Reprint]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Englewood Cliffs, NJ [u.a.]: Prentice Hall, c 1988

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication