Skip to content
Složeno pretraživanje
  • Jezik
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • Hrvatski
Složeno pretraživanje
  • Pretraživanje: "Studies in logic and the foundations of mathematics"
Preporučene teme... za Vaše pretraživanje.
03 8 Matematička logika 2 68 1
Intuicionistička matematika 1 Rekurzivna teorija 1 Teorija skupova 1
Možda želite pretražiti i:
"Studies in logic and the foundations of mathematics" » "Studies in logic and the foundation of mathematics", "Studies in logic and the foundations of mathematical"
Prikazuje se 1 - 20 od 29 za pretraživanje: '"Studies in logic and the foundations of mathematics"', Upit obrađen za: 0.11s
Popis  Grid 
Slika naslovnice
Constructivism in mathematics : an introduction. . Volume 2
Autor: Troelstra, A. S., Dalen, D. van
Impresum 1988
“...Studies in logic and the foundations of mathematics...”
Lokacija:
  • Filozofski fakultet u Zagrebu
Knjiga Učitavam...
Preview
Preview
Preview
Slika naslovnice
Model theory
Autor: Chang, Chen Chung
Impresum 1994
“...Studies in logic and the foundations of mathematics...”
Izdanje: 3rd ed., 4th impression
Lokacija:
  • Nacionalna i sveučilišna knjižnica u Zagrebu
Knjiga Učitavam...
Slika naslovnice
Set theory : an introduction to independence proofs
Autor: Kunen, Kenneth
Impresum 2005
“...Studies in logic and the foundations of mathematics...”
Izdanje: 9th impression
Lokacija:
  • Nacionalna i sveučilišna knjižnica u Zagrebu
Knjiga Učitavam...
Preview
Preview
Preview
Slika naslovnice
Contributions to mathematical logic : proceedings of the logic colloquium, Hannover 1966
Impresum 1968
“...Studies in logic and the foundations of mathematics...”
Lokacija:
  • Nacionalna i sveučilišna knjižnica u Zagrebu
Knjiga Učitavam...
Slika naslovnice
Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo N.Y. 1968
Impresum 1970
“...Studies in logic and the foundations of mathematics...”
Lokacija:
  • Nacionalna i sveučilišna knjižnica u Zagrebu
Knjiga Učitavam...
Preview
Preview
Preview
Slika naslovnice
Classical recursion theory : the theory of functions and sets of natural numbers
Autor: Odifreddi, Piergiorgio
Impresum 1992
“...Studies in logic and the foundations of mathematics...”
Izdanje: 2nd impression
Lokacija:
  • Nacionalna i sveučilišna knjižnica u Zagrebu
Knjiga Učitavam...
Preview
Preview
Preview
Slika naslovnice
Quantification in nonclassical logic : vol. 1
Autor: Gabbay, Dov M., Shehtman, Valentin B., Skvortsov, Dimitrij P.
Impresum 2009
“...Studies in logic and the foundations of mathematics...”
Lokacija:
  • Institut Ruđer Bošković
Knjiga Učitavam...
Preview
Preview
Preview
Slika naslovnice
Many-valued logics
Autor: Rosser, Barkley
Impresum 1958
“...Studies in logic and the foundations of mathematics...”
Lokacija:
  • Filozofski fakultet u Zagrebu
Knjiga Učitavam...
Slika naslovnice
Constructivism in mathematics : an introduction. . Volume 1
Autor: Troelstra, A. S., Dalen, D. van
Impresum 1988
“...Studies in logic and the foundations of mathematics...”
Lokacija:
  • Filozofski fakultet u Zagrebu
Knjiga Učitavam...
Preview
Preview
Preview
Slika naslovnice
Undecidable theories
Autor: Tarski, Alfred
Impresum 1953
“...Studies in Logic and the Foundation of Mathematics / North-Holland Publishing Company...”
Izdanje: 1. izd
Lokacija:
  • Fakultet elektrotehnike i računarstva
Knjiga Učitavam...
Slika naslovnice
Abstract set theory
Autor: Fraenkel, Abraham A.
Impresum 1953
“...Studies in Logic and the Foundation of Mathematics / North-Holland Publishing Company...”
Izdanje: 1. izd
Lokacija:
  • Fakultet elektrotehnike i računarstva
Knjiga Učitavam...
Slika naslovnice
On the metamathematics of algebra
Autor: Robinson, Abraham
Impresum 1951
“...Studies in Logic and the Foundation of Mathematics / North-Holland Publishing Company...”
Izdanje: 1. izd
Lokacija:
  • Fakultet elektrotehnike i računarstva
Knjiga Učitavam...
Slika naslovnice
Solvable cases of the decision problem
Autor: Ackermann, Wilhelm
Impresum 1954
“...Studies in Logic and the Foundation of Mathematics / North-Holland Publishing Company...”
Izdanje: 1. izd
Lokacija:
  • Fakultet elektrotehnike i računarstva
Knjiga Učitavam...
Slika naslovnice
Ancient formal logic
Autor: Bocheński, Joseph M.
Impresum 1957
“...Studies in Logic and the Foundation of Mathematics / North-Holland Publishing Company...”
Izdanje: 1. izd
Lokacija:
  • Fakultet elektrotehnike i računarstva
Knjiga Učitavam...
Slika naslovnice
The propositional logic of Boethius
Autor: Dürr, Karl
Impresum 1951
“...Studies in Logic and the Foundation of Mathematics / North-Holland Publishing Company...”
Izdanje: 1. izd
Lokacija:
  • Fakultet elektrotehnike i računarstva
Knjiga Učitavam...
Slika naslovnice
Truth and consequence in mediaeval logic
Autor: Moody, Ernest A.
Impresum 1953
“...Studies in Logic and the Foundation of Mathematics / North-Holland Publishing Company...”
Izdanje: 1. izd
Lokacija:
  • Fakultet elektrotehnike i računarstva
Knjiga Učitavam...
Slika naslovnice
Sentences undecidable in formalized arithmetic : AN EXPOSITION OF THE THEORY OF KURT GÖDEL
Autor: Mostowski, Andrzej
Impresum 1957
“...Studies in Logic and the Foundation of Mathematics / North-Holland Publishing Company...”
Izdanje: 1. izd
Lokacija:
  • Fakultet elektrotehnike i računarstva
Knjiga Učitavam...
Slika naslovnice
An essay in modal logic
Autor: Wright, Georg Henrik von
Impresum 1951
“...Studies in Logic and the Foundation of Mathematics / North-Holland Publishing Company...”
Izdanje: 1. izd
Lokacija:
  • Fakultet elektrotehnike i računarstva
Knjiga Učitavam...
Slika naslovnice
Ordinal algebras
Autor: Tarski, Alfred
Impresum 1956
“...Studies in Logic and the Foundation of Mathematics / North-Holland Publishing Company...”
Izdanje: 1. izd
Lokacija:
  • Fakultet elektrotehnike i računarstva
Knjiga Učitavam...
Slika naslovnice
Recursive number theory : A DEVELOPMENT OF RECURSIVE ARITHMETIC IN A LOGIC-FREE EQUATION CALCULUS
Autor: Goodstein, R. L.
Impresum 1957
“...Studies in Logic and the Foundation of Mathematics / North-Holland Publishing Company...”
Izdanje: 1. izd
Lokacija:
  • Fakultet elektrotehnike i računarstva
Knjiga Učitavam...
  • 1
  • 2
  • Slijedeća »
  • [2]
Alati za pretraživanje: RSS Feed — Pretraživanje pošaljite e-poštom

Ograniči pretraživanje

Baza
20 Fakultet elektrotehnike i računarstva 5 Nacionalna i sveučilišna knjižnica u Zagrebu 3 Filozofski fakultet u Zagrebu 1 Institut Ruđer Bošković
Vrsta građe
29 Knjiga
Autor
2 Dalen, D. van 2 Fraenkel, Abraham A. 2 Tarski, Alfred 2 Troelstra, A. S. 1 Ackermann, Wilhelm 1 Barendregt, H.P prikaži više ... 1 Bernays, Paul 1 Bocheński, Joseph M. 1 Boone, W. W. 1 Braffort, P. 1 Brouwer, L. E. J. 1 Cannonito, F. B. 1 Chang, C.C 1 Chang, Chen Chung 1 Curry, Haskell B. 1 DECISION PROBLEMS IN GROUP THEORY (CODEP) 1 Dürr, Karl 1 Gabbay, Dov M. 1 Goodstein, R. L. 1 Henkin, Leon 1 Heyting, Arend 1 Hindley, J. Roger 1 Hirschberg, D. 1 INTERNATIONAL SYMPOSIUM ON THE AXIOMATIC METHOD 1 Keisler, H. Jerome 1 Keisler, H.J 1 Kino, Akiko 1 Kunen, Kenneth 1 Martin, Richard M. 1 Moody, Ernest A. prikaži manje ...
Jezik
29 engleski
Područje
1 Kongresi 1 Priručnici 1 Udžbenici
Godina izdanja

Mogućnosti pretraživanja

  • Povijest pretraživanja
  • Složeno pretraživanje

Dodatne mogućnosti pretraživanja

  • Pregledavanje kataloga
  • Pregledavanje po abecedi
  • Nastavni materijali
  • Novi primjerci

Trebate li pomoć?

  • Pomoć za pretraživanje
  • Pitajte knjižničara
  • Prijedlozi i komentari
Hrvatski nacionalni skupni katalog razvijaju Nacionalna i sveučilišna knjižnica u Zagrebu, Sveučilište u Zagrebu, Hrvatsko katoličko sveučilište, Filozofski fakultet Sveučilišta u Zagrebu, Medicinski fakultet Sveučilišta u Zagrebu, Fakultet strojarstva i brodogradnje Sveučilišta u Zagrebu te Sveučilište u Zagrebu Fakultet elektrotehnike i računarstva.
Učitavam...